Math 2.0

Potential theory Definition

Bessel potential

Builds on Fourier transformConvolutionLaplacian

Definition

Let n≥1n \ge 1 and α>0\alpha > 0. Use the Fourier transform g^(ξ)=∫ℝng(x)e−2πix⋅ξ dx\hat g(\xi) = \int_{\R^n} g(x) e^{-2\pi i x \cdot \xi} \, dx. Let GαG_\alpha be the integrable function on ℝn\R^n whose Fourier transform is Gα^(ξ)=(1+4π2∣ξ∣2)−α/2.\widehat{G_\alpha}(\xi) = (1 + 4 \pi^2 \abs{\xi}^2)^{-\alpha/2}. For f∈Lp(ℝn)f \in L^p(\R^n) with 1≤p≤∞1 \le p \le \infty, the Bessel potential of order α\alpha of ff is the convolution Jαf=Gα∗f.J_\alpha f = G_\alpha * f.

Remarks

The kernel GαG_\alpha exists, is positive, and has integral Gα^(0)=1\widehat{G_\alpha}(0) = 1. So JαJ_\alpha is a bounded operator on each LpL^p with norm at most 11, by Young's inequality. On Schwartz functions Jα=(I−Δ)−α/2J_\alpha = (I - \Delta)^{-\alpha/2}, where Δ\Delta is the Laplacian, since −Δ-\Delta has symbol 4π2∣ξ∣24 \pi^2 \abs{\xi}^2. The semigroup law JαJβ=Jα+βJ_\alpha J_\beta = J_{\alpha + \beta} holds for all α,β>0\alpha, \beta > 0. Near 00, Gα(x)G_\alpha(x) is comparable to ∣x∣α−n\abs{x}^{\alpha - n} when 0<α<n0 < \alpha < n, and Gα(x)G_\alpha(x) decays like e−c∣x∣e^{-c\abs{x}} for some c>0c > 0 as ∣x∣→∞\abs{x} \to \infty.

Example: for n=1n = 1 and α=2\alpha = 2, the kernel is G2(x)=12e−∣x∣G_2(x) = \frac12 e^{-\abs{x}}. Check: ∫ℝ12e−∣x∣e−2πixξ dx=12⋅21+4π2ξ2=(1+4π2ξ2)−1\int_{\R} \frac12 e^{-\abs{x}} e^{-2\pi i x \xi} \, dx = \frac12 \cdot \frac{2}{1 + 4\pi^2 \xi^2} = (1 + 4\pi^2 \xi^2)^{-1}. So u=J2fu = J_2 f solves u−u′′=fu - u'' = f for nice ff.

Non-example: the kernel ∣x∣α−n\abs{x}^{\alpha - n} of the Riesz potential is not the Bessel kernel, since it is not integrable on ℝn\R^n, while GαG_\alpha must be integrable with integral 11.

Reading path

To understand this page from the ground up, read these 14 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. Convolution concept
  2. Euclidean space object
  3. Fourier transform concept
  4. Function concept
  5. Total derivative concept
  6. Function of several variables concept
  7. Vector-valued function concept
  8. Differentiable function of several variables concept
  9. Partial derivative concept
  10. Vector field concept
  11. Gradient concept
  12. Divergence concept
  13. Laplacian concept
  14. Bessel potential definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Bessel_potential
About this page
TagM435YDQWQ4
URIm2://M435YDQWQ4
Kinddefinition
WritingW0 stub
MSC31B15, 46E35, 47G40
DefinesBessel potential
UsesFourier transform, Convolution, Laplacian

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.