WOLFRAM

FoxHReduce[expr,x]

attempts to reduce expr to a single FoxH object as a function of x.

Details and Options

  • FoxH representations of mathematical functions are widely used in the areas of symbolic integration, integral transforms, statistics and others.
  • FoxHReduce will attempt to represent any expression as a FoxH object.
  • FoxHReduce returns results in an inert form Inactive[FoxH][].
  • The original function can be recovered from the result by using Activate. »
  • FoxHReduce automatically threads over lists.
  • Assumptions on parameters may be specified using the Assumptions option.
  • FoxHReduce has properties similar to MeijerGReduce, but it is able to generate a FoxH representation for different functions not representable in terms of MeijerGReduce.

Examples

open allclose all

Basic Examples  (2)Summary of the most common use cases

Represent Sin in terms of FoxH:

Out[1]=1

Represent BesselJ having a parameter in its argument in terms of FoxH:

Out[1]=1

Recover the original function using Activate:

Out[2]=2

Plot this function for different values of a:

Out[3]=3

Scope  (18)Survey of the scope of standard use cases

Elementary Functions  (6)

Represent rational functions in terms of the FoxH function:

Out[1]=1
Out[3]=3

Represent algebraic functions in terms of the FoxH function:

Out[1]=1
Out[2]=2

Represent trigonometric functions and their combinations in terms of the FoxH function:

Out[1]=1
Out[2]=2
Out[3]=3

Represent hyperbolic functions and their combinations in terms of the FoxH function:

Out[1]=1
Out[2]=2
Out[3]=3

Represent exponential and logarithmic functions in terms of the FoxH function:

Out[1]=1
Out[2]=2

Represent inverse trigonometric and hyperbolic functions in terms of the FoxH function:

Out[1]=1
Out[2]=2

Special Functions  (5)

Airy functions:

Out[1]=1
Out[2]=2

Bessel functions:

Out[1]=1
Out[2]=2

Legendre functions:

Out[1]=1
Out[2]=2

Hypergeometric functions:

Out[1]=1
Out[2]=2

Elliptic functions:

Out[1]=1
Out[2]=2

Piecewise Functions  (3)

UnitStep:

Out[1]=1

UnitBox:

Out[2]=2

Expressions involving UnitStep:

Out[1]=1

ConditionalExpression:

Out[1]=1

Combinations of Special Functions  (2)

Products of elementary functions:

Out[1]=1
Out[2]=2

Representation for ExpIntegralEi with a monomial argument:

Out[1]=1

SinIntegral:

Out[2]=2

General Functions  (2)

The family of functions e-xaxb has nice and simple FoxH representation:

Out[1]=1
Out[2]=2

The family of MittagLeffler functions:

Out[1]=1

Recover the original function using Activate:

Out[2]=2

Plot this function:

Out[3]=3

Options  (1)Common values & functionality for each option

Assumptions  (1)

FoxHReduce returns a ConditionalExpression for this example:

Out[1]=1

Use Assumptions to restrict conditions on the parameter:

Out[2]=2

Applications  (5)Sample problems that can be solved with this function

FoxHReduce outputs the most general representation of special functions in terms of FoxH functions:

Out[4]=4
Out[5]=5

The family of MittagLefflerE functions is FoxH representable:

Out[1]=1
Out[2]=2

However, these functions are not representable in terms of MeijerG:

Out[3]=3

For some families of special functions, the FoxH representation is simpler than the MeijerG one:

Out[1]=1
Out[2]=2

In this case, MeijerGReduce generates a rather complicated output with two MeijerG functions:

Out[1]=1

While representation via FoxHReduce is much more simpler:

Out[2]=2

For certain families, the FoxH representation is more intuitive than the MeijerG representation:

Out[1]=1
Out[2]=2

Properties & Relations  (6)Properties of the function, and connections to other functions

FoxHReduce returns FoxH representation of the function in Inactive form:

Out[1]=1

Use Activate to evaluate the result:

Out[2]=2

FoxHReduce maps over sums and products:

Out[1]=1
Out[2]=2

FoxHReduce takes lists and matrices as arguments:

Out[1]=1
Out[2]=2

FoxHReduce may be regarded as the inverse of FoxH:

Out[1]=1
Out[2]=2

FoxHReduce may generate a ConditionalExpression:

Out[1]=1

FoxHReduce may take an Inactive MeijerG as an input:

Out[1]=1

Possible Issues  (1)Common pitfalls and unexpected behavior

Some advanced special functions are not represented in terms of FoxH:

Out[1]=1

Neat Examples  (1)Surprising or curious use cases

Create a gallery of FoxH representations for a set of elementary and special functions:

Wolfram Research (2021), FoxHReduce, Wolfram Language function, https://reference.wolfram.com/language/ref/FoxHReduce.html.
Wolfram Research (2021), FoxHReduce, Wolfram Language function, https://reference.wolfram.com/language/ref/FoxHReduce.html.

Text

Wolfram Research (2021), FoxHReduce, Wolfram Language function, https://reference.wolfram.com/language/ref/FoxHReduce.html.

Wolfram Research (2021), FoxHReduce, Wolfram Language function, https://reference.wolfram.com/language/ref/FoxHReduce.html.

CMS

Wolfram Language. 2021. "FoxHReduce." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/FoxHReduce.html.

Wolfram Language. 2021. "FoxHReduce." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/FoxHReduce.html.

APA

Wolfram Language. (2021). FoxHReduce. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/FoxHReduce.html

Wolfram Language. (2021). FoxHReduce. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/FoxHReduce.html

BibTeX

@misc{reference.wolfram_2025_foxhreduce, author="Wolfram Research", title="{FoxHReduce}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/FoxHReduce.html}", note=[Accessed: 27-March-2025 ]}

@misc{reference.wolfram_2025_foxhreduce, author="Wolfram Research", title="{FoxHReduce}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/FoxHReduce.html}", note=[Accessed: 27-March-2025 ]}

BibLaTeX

@online{reference.wolfram_2025_foxhreduce, organization={Wolfram Research}, title={FoxHReduce}, year={2021}, url={https://reference.wolfram.com/language/ref/FoxHReduce.html}, note=[Accessed: 27-March-2025 ]}

@online{reference.wolfram_2025_foxhreduce, organization={Wolfram Research}, title={FoxHReduce}, year={2021}, url={https://reference.wolfram.com/language/ref/FoxHReduce.html}, note=[Accessed: 27-March-2025 ]}