Math 2.0

Integral transforms, operational calculus Definition

Differentiation operator p

Builds on DerivativeAntiderivative

Definition

Let C1[0,∞)C^1[0, \infty) be the space of continuously differentiable functions f ⁣:[0,∞)→ℂf \colon [0, \infty) \to \C, with the one-sided derivative at 00. The differentiation operator p ⁣:C1[0,∞)→C[0,∞)p \colon C^1[0, \infty) \to C[0, \infty) is pf=f′p f = f'. Its companion, the integration operator p−1 ⁣:C[0,∞)→C1[0,∞)p^{-1} \colon C[0, \infty) \to C^1[0, \infty), is (p−1f)(t)=∫0tf(τ) dτ.(p^{-1} f)(t) = \int_0^t f(\tau) \, d\tau.

Remarks

The two operators satisfy p p−1f=f(f∈C[0,∞)),p−1pf=f−f(0)(f∈C1[0,∞)).p \, p^{-1} f = f \quad (f \in C[0, \infty)), \qquad p^{-1} p f = f - f(0) \quad (f \in C^1[0, \infty)). The first identity is the fundamental theorem of calculus: p−1fp^{-1} f is the antiderivative of ff that vanishes at 00. So p−1p^{-1} is a right inverse of pp but not a left inverse.

Example: for f(t)=eatf(t) = e^{at}, pf=afp f = a f, and p−1f=(eat−1)/ap^{-1} f = (e^{at} - 1)/a for a≠0a \ne 0; then p p−1f=eat=fp \, p^{-1} f = e^{at} = f.

Non-example of a two-sided inverse: for the constant f=1f = 1, p−1pf=p−10=0≠1p^{-1} p f = p^{-1} 0 = 0 \ne 1; the clause p−1p=id⁡p^{-1} p = \id fails exactly because f(0)≠0f(0) \ne 0.

In the Mikusiński calculus, the integration operator is convolution with the constant 11, and the corresponding element s=1/ls = 1/l of the field of operators satisfies sf=f′+f(0)s f = f' + f(0), which repairs the defect above.

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. Antiderivative concept
  2. Derivative concept
  3. Differentiation operator p definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Operational_calculus
About this page
TagB5ZWZHMD12
URIm2://B5ZWZHMD12
Kinddefinition
WritingW0 stub
MSC44A45, 44A40
DefinesDifferentiation operator p
UsesDerivative, Antiderivative

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.