Introductions to StruveH

Introduction to the Struve functions

General

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) appeared as special solutions of the inhomogeneous Bessel second-order differential equations:

where (Subscript[c, 1]) and (Subscript[c, 2]) are arbitrary constants and (Subscript[J, ν])(z), (Subscript[Y, ν])(z), (Subscript[I, ν])(z), and (Subscript[K, ν])(z) are Bessel functions.

The last two differential equations are very similar and can be converted into each other by changing z to i z. Their solutions can be constructed in the form of a series with arbitrary coefficients:

Substitution of this series into the first equation gives the following partial solution of the inhomogeneous equation:

This solution, which appeared in an article by H. Struve (1882), was later ascribed Struve's name and the special notation (Subscript[H, ν])(z).

A similar procedure carried out for the second inhomogeneous equation leads to the function (Subscript[L, ν])(z), which was introduced by J. W. Nicholson (1911).

Definitions of Struve functions

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) are defined as sums of the following infinite series:

A quick look at the Struve functions

Here is a quick look at the graphics for the Struve functions along the real axis.

Connections within the group of Struve functions and with other function groups

Representations through more general functions

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) are particular cases of the more general hypergeometric and Meijer G functions.

For example, they can be represented through regularized hypergeometric functions (Subscript[, 1])(Subscript[(OverTilde[F]), 2]):

In the cases when ν+(3/2)==0,-1,-2,…, the previous formulas degenerate into the following:

For general values of parameter ν, the Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) cannot be represented through classical hypergeometric functions without restrictions on parameter ν:

Similar conclusion can be drawn from the following representations of the Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) through generalized and classical Meijer G functions:

The first two formulas are simpler than the last two classical representations that include factors like (z^(ν+1)) ((((z^2)))^(-((ν+1)/2))).

Transformation inside the group (Interconnections)

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) are connected to each other by the formulas:

The best-known properties and formulas for Struve functions

Real values for real arguments

For real values of parameter ν and positive argument z, the values of the Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) are real.

Simple values at zero

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) have rather simple values for the argument z==0:

Specific values for specialized parameter

In the cases when parameter ν is equal to ±(1/2), ±(3/2),±(5/2),…, the Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) can be expressed through the sine and cosine (or hyperbolic sine and cosine) multiplied by rational and sqrt functions, for example:

The previous formulas are the particular cases of the following general formulas:

Analyticity

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) are defined for all complex values of their parameter ν and variable z. They are analytical functions of ν and z over the whole complex ν- and z-planes excluding the branch cuts. For fixed integer ν, the functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) are entire functions of z. For fixed z, the functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) are entire functions of ν.

Poles and essential singularities

For fixed ν, the functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) have an essential singularity at z==(OverTilde[∞]). At the same time, the point z==(OverTilde[∞]) is a branch point (except cases for integer ν).

With respect to ν, the Struve functions have only one essential singular point at ν =(OverTilde[∞]).

Branch points and branch cuts.

For fixed noninteger ν, the functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) have two branch points: z==0 and z==(OverTilde[∞]).

If functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) have branch cuts, they are single-valued functions on the z-plane cut along the interval (-∞, 0), where they are continuous from above:

From below, functions have discontinuities that are described by the formulas:

Periodicity

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) do not have periodicity.

Parity and symmetry

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) have mirror symmetry (except on the branch cut interval (-∞, 0)):

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) have generalized parity (either odd or even) with respect to variable z:

Series representations

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) have the following series expansions through series that converge on the whole z-plane:

Interestingly, closed-form expressions for the truncated version of the Taylor series at the origin can be expressed through the generalized hypergeometric function (Subscript[, 2])(Subscript[F, 2]), for example:

Asymptotic series expansions

The asymptotic behavior of the Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) can be described by the following formulas (only the main terms of asymptotic expansion are given):

The previous formulas are valid in any directions approaching point z to infinity (|z|->∞). In particular cases when |Arg(z)|<π or |Arg(z)|<(π/2), these formulas can be simplified to the following relations:

Integral representations

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) have simple integral representations through the sine (or hyperbolic sine) and power functions:

Transformations

Arguments of the Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) with square root arguments can sometimes be simplified:

Identities

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) satisfy the following recurrence identities:

The previous identities can be generalized to the following recurrence identities with a jump of  length n:

Simple representations of derivatives

The derivatives of the Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) have simple representations that can also be expressed through Struve functions with different indices:

The symbolic ((n )^th)-order derivatives have the following representations:

Differential equations

The Struve functions (Subscript[H, ν])(z) and (Subscript[L, ν])(z) appeared as special solutions of the special inhomogeneous Bessel second-order linear differential equations:

where (Subscript[c, 1]) and (Subscript[c, 2]) are arbitrary constants and (Subscript[J, ν])(z), (Subscript[Y, ν])(z), (Subscript[I, ν])(z), and (Subscript[K, ν])(z) are Bessel functions. 
The previous equations are very similar and can be converted into each other by changing z to i z.

Applications of Struve functions

Applications of Struve functions include electrodynamics, potential theory, and optics.

Copyright