Math 2.0

Integral equations Definition

Hadamard finite part

Builds on Cauchy principal valueHölder continuity

Definition

Let a<x<ba < x < b and let φ ⁣:[a,b]→ℝ\varphi \colon [a, b] \to \R be integrable, differentiable near xx, with φ′\varphi' Hölder continuous near xx. The Hadamard finite part integral of φ(t)/(t−x)2\varphi(t)/(t - x)^2 is f.p. ⁣∫abφ(t)(t−x)2 dt=lim⁡ε→0+(∫{t∈[a,b]:∣t−x∣>ε}φ(t)(t−x)2 dt−2φ(x)ε).\mathrm{f.p.}\!\int_a^b \frac{\varphi(t)}{(t - x)^2}\, dt = \lim_{\varepsilon \to 0^+} \left( \int_{\set{t \in [a, b] : \abs{t - x} > \varepsilon}} \frac{\varphi(t)}{(t - x)^2}\, dt - \frac{2\varphi(x)}{\varepsilon} \right). Under these hypotheses the limit exists.

Remarks

The general rule is the same. Expand the integral over the region at distance more than ε\varepsilon from the singularity in powers of ε\varepsilon and log⁡ε\log \varepsilon. Then drop the terms that diverge as ε→0\varepsilon \to 0 and keep the limit of the rest. For example, ∫ε1t−3/2 dt=2ε−1/2−2\int_\varepsilon^1 t^{-3/2}\, dt = 2\varepsilon^{-1/2} - 2, so f.p. ⁣∫01t−3/2 dt=−2\mathrm{f.p.}\!\int_0^1 t^{-3/2}\, dt = -2.

Example: φ=1\varphi = 1 on [−1,1][-1, 1] and x=0x = 0. Then ∫ε<∣t∣≤1t−2 dt=2ε−2\int_{\varepsilon < \abs{t} \le 1} t^{-2}\, dt = \frac{2}{\varepsilon} - 2, so the finite part is −2-2.

Non-example: for φ(t)=∣t∣1/2\varphi(t) = \abs{t}^{1/2} and x=0x = 0, the derivative condition fails at 00. The integral over ε<∣t∣≤1\varepsilon < \abs{t} \le 1 equals 4ε−1/2−44\varepsilon^{-1/2} - 4, and subtracting 2φ(0)/ε=02\varphi(0)/\varepsilon = 0 leaves a divergent quantity, so this limit does not exist.

For φ\varphi as above, the finite part is the derivative of a principal value: f.p. ⁣∫abφ(t)(t−x)2 dt=ddx PV ⁣∫abφ(t)t−x dt,\mathrm{f.p.}\!\int_a^b \frac{\varphi(t)}{(t - x)^2}\, dt = \frac{d}{dx}\, \mathrm{PV}\!\int_a^b \frac{\varphi(t)}{t - x}\, dt, where PV\mathrm{PV} is the Cauchy principal value.

Reading path

To understand this page from the ground up, read these 3 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. Hölder continuity concept
  3. Hadamard finite part definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Hadamard_regularization
About this page
TagR519NKG3V6
URIm2://R519NKG3V6
Kinddefinition
WritingW0 stub
MSC45E99, 26A42
DefinesHadamard finite part
UsesCauchy principal value, Hölder continuity

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.