Math 2.0

Integral equations Definition

Hypersingular integral equation

Builds on Hadamard finite partKernel of an integral equationCauchy principal value

Definition

Let a,b ⁣:(−1,1)→ℝa, b \colon (-1, 1) \to \R and f ⁣:(−1,1)→ℝf \colon (-1, 1) \to \R be given functions, and let KK be a kernel on (−1,1)2(-1, 1)^2 that is integrable in tt for each xx. A hypersingular integral equation on (−1,1)(-1, 1) for an unknown φ\varphi is a(x) φ(x)+b(x)π f.p. ⁣∫−11φ(t)(t−x)2 dt+∫−11K(x,t) φ(t) dt=f(x),−1<x<1,a(x)\, \varphi(x) + \frac{b(x)}{\pi}\, \mathrm{f.p.}\!\int_{-1}^{1} \frac{\varphi(t)}{(t - x)^2}\, dt + \int_{-1}^{1} K(x, t)\, \varphi(t)\, dt = f(x), \quad -1 < x < 1, where f.p.\mathrm{f.p.} denotes the Hadamard finite part and bb does not vanish identically. The unknown φ\varphi is sought among functions for which the finite part exists, for instance functions whose derivative is Hölder continuous on each compact subinterval. If a=0a = 0, the equation is of the first kind.

Remarks

More generally, an integral equation on a domain or surface of dimension mm is called hypersingular when its kernel grows like ∣x−t∣−m−1\abs{x - t}^{-m-1} or faster near the diagonal.

Example: the first kind equation 1π f.p. ⁣∫−11φ(t)(t−x)2 dt=−1\frac{1}{\pi}\, \mathrm{f.p.}\!\int_{-1}^{1} \frac{\varphi(t)}{(t - x)^2}\, dt = -1 has the solution φ(t)=1−t2\varphi(t) = \sqrt{1 - t^2}. Check: the finite part is the xx-derivative of 1π PV ⁣∫−111−t2t−x dt=−x\frac{1}{\pi}\, \mathrm{PV}\!\int_{-1}^{1} \frac{\sqrt{1 - t^2}}{t - x}\, dt = -x, which is −1-1. Here PV\mathrm{PV} is the Cauchy principal value. Equations of this form, with the condition φ(±1)=0\varphi(\pm 1) = 0, describe the opening of a straight crack under uniform pressure.

Non-example: 1π PV ⁣∫−11φ(t)t−x dt=f(x)\frac{1}{\pi}\, \mathrm{PV}\!\int_{-1}^{1} \frac{\varphi(t)}{t - x}\, dt = f(x) has a Cauchy kernel of order 11, so it is a singular but not a hypersingular equation.

The finite part is the derivative of a principal value. So, when φ(±1)=0\varphi(\pm 1) = 0, an integration by parts turns a hypersingular equation of the first kind for φ\varphi into a Cauchy singular equation for φ′\varphi'.

Reading path

To understand this page from the ground up, read these 4 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. Hadamard finite part concept
  3. Kernel of an integral equation concept
  4. Hypersingular integral equation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Hadamard_regularization
About this page
TagWEHG6JZDFY
URIm2://WEHG6JZDFY
Kinddefinition
WritingW0 stub
MSC45E99, 45E05
DefinesHypersingular integral equation
UsesHadamard finite part, Kernel of an integral equation, Cauchy principal value

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.