Namespaces
Variants
Actions

Difference between revisions of "Hilbert transform"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (→‎Comments: Link to wikipedia for other represantations of defining integral.)
m (TeXed the first equation)
Line 3: Line 3:
 
The improper integral
 
The improper integral
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474302.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
 
 +
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;">$$g\left(x\right) = \frac{1}{\pi} \int_{0}^{\infty}\frac{f\left(x+t\right)-f\left(x-t\right)}{t}\mathrm{d}t$$.</td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
  
 
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474303.png" />, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474304.png" /> exists for almost-all values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474305.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474306.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474307.png" />, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474308.png" /> also belongs to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474309.png" /> and the inversion formula
 
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474303.png" />, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474304.png" /> exists for almost-all values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474305.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474306.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474307.png" />, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474308.png" /> also belongs to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047430/h0474309.png" /> and the inversion formula

Revision as of 09:57, 18 March 2013

of a function

The improper integral


$$g\left(x\right) = \frac{1}{\pi} \int_{0}^{\infty}\frac{f\left(x+t\right)-f\left(x-t\right)}{t}\mathrm{d}t$$. (1)

If , the function exists for almost-all values of . If , , the function also belongs to and the inversion formula

(2)

is valid almost-everywhere. Here

(3)

where the constant depends only on .

Formulas (1) and (2) are equivalent to the formulas

(4)
(5)

in which the integrals are understood in the sense of the principal value.

The integral

(6)

understood in the sense of its principal value, is also called the Hilbert transform of . This integral is often called the Hilbert singular integral. In the theory of Fourier series the function defined by (6) is said to be conjugate with .

If , exists almost-everywhere, and if satisfies a Lipschitz condition of order , exists for any and satisfies the same condition. If , , then has the same property, and an inequality analogous to (3) in which the integrals are taken over the interval is valid. Thus, the integral operators generated by the Hilbert transform are bounded (linear) operators on the respective spaces .

If satisfies a Lipschitz condition, or if , and also

the following inversion formula is valid:

(7)

and

In the class of functions which satisfy a Lipschitz condition, equation (7) is valid everywhere, and in the class of functions with integrable -th power, it is valid almost-everywhere.

Each one of the pairs of formulas written above, such as (4) or (5), may be considered as an integral equation of the first kind, and the second formula yields the solution of this equation.

If the functions and are considered as kernels of integral operators, they are often referred to as the Hilbert kernel and as the Cauchy kernel. In the case of the unit circle, there exists a simple relationship between these kernels:

where , .

References

[1] D. Hilbert, "Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen" , Chelsea, reprint (1953)
[2] M. Riesz, "Sur les fonctions conjugées" Math. Z. , 27 (1927) pp. 218–244
[3] E.C. Titchmarsh, "Introduction to the theory of Fourier integrals" , Oxford Univ. Press (1948)
[4] N.I. Muskhelishvili, "Singular integral equations" , Wolters-Noordhoff (1972) (Translated from Russian)
[5] N.K. [N.K. Bari] Bary, "A treatise on trigonometric series" , Pergamon (1964) (Translated from Russian)


Comments

The defining integral could be represented in other ways. For further details one might refer to Wikipedia .

References

[a1] A. Zygmund, "Trigonometric series" , 1–2 , Cambridge Univ. Press (1988)
How to Cite This Entry:
Hilbert transform. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hilbert_transform&oldid=29532
This article was adapted from an original article by B.V. Khvedelidze (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article