Math 2.0

Integral equations Definition

Weakly singular kernel

Builds on Kernel of an integral equationContinuous function

Definition

Let m≥1m \ge 1 and let Ω⊆ℝm\Omega \subseteq \R^m be a closed bounded set. Write ∣x−s∣\abs{x - s} for the Euclidean distance of x,s∈Ωx, s \in \Omega. A weakly singular kernel on Ω\Omega is a kernel KK defined for x,s∈Ωx, s \in \Omega with x≠sx \ne s such that:

  1. KK is a continuous function on {(x,s)∈Ω×Ω:x≠s}\set{(x, s) \in \Omega \times \Omega : x \ne s}.
  2. There are constants M>0M > 0 and α∈[0,m)\alpha \in [0, m) such that ∣K(x,s)∣≤M∣x−s∣−α\abs{K(x, s)} \le M \abs{x - s}^{-\alpha} for all x≠sx \ne s.

Remarks

Example: K(x,s)=∣x−s∣−1/2K(x, s) = \abs{x - s}^{-1/2} on Ω=[0,1]\Omega = [0, 1], with m=1m = 1, M=1M = 1 and α=1/2<1\alpha = 1/2 < 1. It is continuous off the diagonal.

Non-example: K(x,s)=1/(x−s)K(x, s) = 1/(x - s) on [0,1][0, 1]. It satisfies the bound only with α=1\alpha = 1, which is not less than m=1m = 1; the integral ∫01∣x−s∣−1 ds\int_0^1 \abs{x - s}^{-1} \, ds diverges.

Since α<m\alpha < m, the function s↦∣x−s∣−αs \mapsto \abs{x - s}^{-\alpha} is integrable over Ω\Omega, so ∫ΩK(x,s)φ(s) ds\int_\Omega K(x, s) \varphi(s) \, ds exists for bounded continuous φ\varphi. Assume also that Ω\Omega is Jordan measurable, for example a closed interval or a closed ball. Then the integral operator of a weakly singular kernel maps continuous functions on Ω\Omega to continuous functions and is compact for the maximum norm. The kernel log⁡∣x−s∣\log \abs{x - s} is weakly singular on a bounded set: it satisfies the bound for every α∈(0,m)\alpha \in (0, m).

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. Continuous function concept
  2. Kernel of an integral equation concept
  3. Weakly singular kernel definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Integral_equation
About this page
TagBMRX3X7095
URIm2://BMRX3X7095
Kinddefinition
WritingW0 stub
MSC45P05, 45H05
DefinesWeakly singular kernel
UsesKernel of an integral equation, Continuous function

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.