Math 2.0

Integral transforms, operational calculus Definition

Symmetric and self-reciprocal kernels

Builds on Integral transformKernel of an integral transformLp space

Definition

Let K ⁣:(0,∞)×(0,∞)→ℂK \colon (0, \infty) \times (0, \infty) \to \C be the kernel of an integral transform (Tf)(x)=∫0∞K(x,y) f(y) dy.(Tf)(x) = \int_0^\infty K(x, y)\, f(y)\, dy. Let AA be a class of functions on which TT is defined, such as the Lebesgue space L2(0,∞)L^2(0, \infty), with T(A)⊆AT(A) \subseteq A.

  1. KK is symmetric if K(x,y)=K(y,x)K(x, y) = K(y, x) for all x,y>0x, y > 0.
  2. KK is self-reciprocal on AA (a Fourier kernel) if T(Tf)=fT(Tf) = f for every f∈Af \in A; that is, g=Tfg = Tf implies f=Tgf = Tg.

Remarks

Example: K(x,y)=2/π cos⁡(xy)K(x, y) = \sqrt{2/\pi}\, \cos(xy) is symmetric, since cos⁡(xy)=cos⁡(yx)\cos(xy) = \cos(yx). It is self-reciprocal on L2(0,∞)L^2(0, \infty): this is the inversion theorem for the Fourier cosine transform, which follows from the Fourier inversion theorem applied to the even extension of ff. The sine kernel 2/π sin⁡(xy)\sqrt{2/\pi}\, \sin(xy) and the Hankel kernel xy Jν(xy)\sqrt{xy}\, J_\nu(xy) for ν≥−1/2\nu \ge -1/2, with JνJ_\nu the Bessel function of the first kind, are also symmetric and self-reciprocal. Non-example: the Laplace kernel e−xye^{-xy} is symmetric but not self-reciprocal. For f(y)=e−yf(y) = e^{-y}, (Tf)(x)=1/(1+x)(Tf)(x) = 1/(1 + x), and T(Tf)(x)=∫0∞e−xy/(1+y) dyT(Tf)(x) = \int_0^\infty e^{-xy}/(1 + y)\, dy tends to +∞+\infty as x→0+x \to 0^+, while f(x)→1f(x) \to 1.

Reading path

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

Show the path as a graph
Almost everywhere, concept, no evidence levelAlmost everywhereconceptElement, definition, no evidence levelElementdefinitionIntegral of a non-negative function, concept, no evidence levelIntegral of a non-neg…conceptIntegral transform, concept, no evidence levelIntegral transformconceptKernel of an integral transform, concept, no evidence levelKernel of an integral…conceptMeasurable function, concept, no evidence levelMeasurable functionconceptMeasure space, concept, no evidence levelMeasure spaceconceptProposition, concept, no evidence levelPropositionconceptVector space, definition, no evidence levelVector spacedefinitionSet, definition, no evidence levelSetdefinitionImplication, definition, no evidence levelImplicationdefinitionPredicate, definition, no evidence levelPredicatedefinitionNorm, definition, no evidence levelNormdefinitionOrdered pair, definition, no evidence levelOrdered pairdefinitionSet-builder notation, concept, no evidence levelSet-builder notationconceptUniversal quantifier, definition, no evidence levelUniversal quantifierdefinitionCartesian product, definition, no evidence levelCartesian productdefinitionSubset, definition, no evidence levelSubsetdefinitionBinary relation, definition, no evidence levelBinary relationdefinitionReflexive relation, definition, no evidence levelReflexive relationdefinitionSymmetric relation, definition, no evidence levelSymmetric relationdefinitionTransitive relation, definition, no evidence levelTransitive relationdefinitionEquivalence relation, definition, no evidence levelEquivalence relationdefinitionEquivalence class, definition, no evidence levelEquivalence classdefinitionLp space, definition, no evidence levelLp spacedefinitionSymmetric and self-reciprocal kernels, definition, no evidence levelSymmetric and self-re…definition
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. Almost everywhere concept
  2. Element definition
  3. Integral of a non-negative function concept
  4. Integral transform concept
  5. Kernel of an integral transform concept
  6. Measurable function concept
  7. Measure space concept
  8. Proposition concept
  9. Vector space definition
  10. Set definition
  11. Implication definition
  12. Predicate definition
  13. Norm definition
  14. Ordered pair definition
  15. Set-builder notation concept
  16. Universal quantifier definition
  17. Cartesian product definition
  18. Subset definition
  19. Binary relation definition
  20. Reflexive relation definition
  21. Symmetric relation definition
  22. Transitive relation definition
  23. Equivalence relation definition
  24. Equivalence class definition
  25. Lp space definition
  26. Symmetric and self-reciprocal kernels definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Integral_transform
About this page
TagZ7WD35SHQP
URIm2://Z7WD35SHQP
Kinddefinition
WritingW0 stub
MSC44A05, 44A15
DefinesSymmetric and self-reciprocal kernels
UsesIntegral transform, Kernel of an integral transform, Lp space

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.