You are here
Home ›Cauchy principal part integral
Primary tabs
Cauchy principal part integral
Definition [1, 2, 3] Let be the set of smooth functions with compact support on . Then the Cauchy principal part integral (or, more in line with the notation, the Cauchy principal value) is mapping defined as
for .
Theorem The mapping is a distribution of first order. That is, .
(proof.)
0.0.1 Properties
1. The distribution is obtained as the limit ([3], pp. 250)
as . Here, is the characteristic function, the locally integrable functions on the left hand side should be interpreted as distributions (see this page), and the limit should be taken in . It should also be noted that can be represented by a proper integral as
where we have used the fact that the integrand is continuous because of the differentiability at 0. In fact, this viewpoint can be used to somewhat vastly increase the set of functions for which this principal value is well-defined, such as functions that are integrable, satisfy a Lipschitz condition at 0, and whose behavior for large makes the integral converge at infinity.
2. Let be the distribution induced by the locally integrable function . Then, for the distributional derivative , we have ([2], pp. 149)
References
- 1 M. Reed, B. Simon, Methods of Modern Mathematical Physics: Functional Analysis I, Revised and enlarged edition, Academic Press, 1980.
- 2 S. Igari, Real analysis - With an introduction to Wavelet Theory, American Mathematical Society, 1998.
- 3 J. Rauch, Partial Differential Equations, Springer-Verlag, 1991.
Mathematics Subject Classification
46F05 Topological linear spaces of test functions, distributions and ultradistributions46-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new question: Linear Algebra Combination Problem! by unlord
new question: Computation of $\varphi(2000)$ by jeremyboden
new question: Computation of $\varphi(2000)$ by jeremyboden
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord


