Math 2.0

Harmonic analysis on Euclidean spaces Definition

Conjugate function

Builds on Harmonic conjugateCauchy principal valueFourier seriesLebesgue integral

Definition

Let 𝕋=ℝ/2πℤ\mathbb{T} = \R / 2\pi\Z be the circle, and let f ⁣:𝕋→ℂf \colon \mathbb{T} \to \C be Lebesgue integrable. The conjugate function of ff is the function f~\tilde f on 𝕋\mathbb{T} given by the principal value f~(θ)=lim⁡ε→0+12π∫ε≤∣t∣≤πf(θ−t)cot⁡t2 dt.\tilde f(\theta) = \lim_{\varepsilon \to 0^+} \frac{1}{2\pi} \int_{\varepsilon \le \abs{t} \le \pi} f(\theta - t) \cot\frac{t}{2} \, dt. The limit exists for almost every θ∈𝕋\theta \in \mathbb{T}.

Remarks

If ff is a trigonometric polynomial with Fourier series ∑kf^(k)eikθ\sum_k \hat f(k) e^{ik\theta}, then f~(θ)=∑k(−isgn⁡k) f^(k)eikθ,\tilde f(\theta) = \sum_k (-i \sgn k) \, \hat f(k) e^{ik\theta}, with sgn⁡0=0\sgn 0 = 0. For real ff, let uu be the Poisson integral of ff in the unit disc, and let vv be its harmonic conjugate with v(0)=0v(0) = 0. Then v(reiθ)→f~(θ)v(re^{i\theta}) \to \tilde f(\theta) as r→1−r \to 1^- for almost every θ\theta.

Example: f(θ)=cos⁡θf(\theta) = \cos\theta has f~(θ)=sin⁡θ\tilde f(\theta) = \sin\theta. Check: cos⁡(θ−t)cot⁡(t/2)=cos⁡θcos⁡tcot⁡(t/2)+sin⁡θsin⁡tcot⁡(t/2)\cos(\theta - t)\cot(t/2) = \cos\theta \cos t \cot(t/2) + \sin\theta \sin t \cot(t/2). The first term is odd in tt, so its principal value integral is 00. The second uses sin⁡tcot⁡(t/2)=2cos⁡2(t/2)=1+cos⁡t\sin t \cot(t/2) = 2\cos^2(t/2) = 1 + \cos t, whose integral over [−π,π][-\pi, \pi] is 2π2\pi.

Non-example: the integral without the principal value need not exist. For f=1f = 1 near θ\theta the integrand behaves like 2/t2/t near t=0t = 0, which is not integrable, while the symmetric limit is 00 since cot⁡(t/2)\cot(t/2) is odd.

The function f~\tilde f need not be integrable when ff is: the operator f↦f~f \mapsto \tilde f is bounded on Lp(𝕋)L^p(\mathbb{T}) only for 1<p<∞1 < p < \infty.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cauchy principal value concept
  2. Fourier series concept
  3. Harmonic conjugate concept
  4. Lebesgue integral concept
  5. Conjugate function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Harmonic_conjugate
About this page
TagGCD0WZ0VKZ
URIm2://GCD0WZ0VKZ
Kinddefinition
WritingW0 stub
MSC42A50, 31A05
DefinesConjugate function
UsesHarmonic conjugate, Cauchy principal value, Fourier series, Lebesgue integral

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.