Math 2.0

Integral transforms, operational calculus Definition

Mikusiński operational calculus

Builds on Mikusiński field of operatorsConvolution on the half-lineLinear differential equation of order n

Definition

Let ℳ\mathcal{M} be the Mikusiński field of operators. It contains the complex numbers and the continuous functions on [0,∞)[0, \infty), with the convolution on the half-line as product. Let ll be the constant function 11 and s=1/l∈ℳs = 1/l \in \mathcal{M}. The Mikusiński operational calculus is the method of solving linear problems in ℳ\mathcal{M} with the following rules.

  1. For every n≥1n \ge 1 and every nn times continuously differentiable ff on [0,∞)[0, \infty), f(n)=snf−sn−1f(0)−sn−2f′(0)−⋯−f(n−1)(0)f^{(n)} = s^n f - s^{n-1} f(0) - s^{n-2} f'(0) - \dots - f^{(n-1)}(0) in ℳ\mathcal{M}.
  2. For every complex α\alpha, the operator 1/(s−α)1/(s - \alpha) is the function eαte^{\alpha t}, and more generally 1/(s−α)k1/(s - \alpha)^{k} is the function tk−1eαt/(k−1)!t^{k-1} e^{\alpha t}/(k-1)! for k≥1k \ge 1.
  3. A linear differential equation with constant coefficients and given initial values is rewritten by rule 1 as a linear equation for y∈ℳy \in \mathcal{M}. This equation is solved in the field ℳ\mathcal{M}, and the solution is identified as a function by rule 2 and partial fractions.

Remarks

Rule 1 follows by induction from sf=f′+f(0)s f = f' + f(0), which is the identity l∗f′=f−f(0)ll * f' = f - f(0) l divided by ll. Rule 2 for k=1k = 1 follows from rule 1: for f=eαtf = e^{\alpha t}, sf−1=αfs f - 1 = \alpha f, so (s−α)f=1(s - \alpha) f = 1. The solution found in step 3 is the unique solution, because ℳ\mathcal{M} is a field and the embedding of continuous functions is injective. The rules agree with those of the Laplace transform method, with ss in the role of the transform variable, but they apply to all continuous functions, without growth conditions.

Example: y′′+y=0y'' + y = 0, y(0)=1y(0) = 1, y′(0)=0y'(0) = 0. Rule 1 gives s2y−s+y=0s^2 y - s + y = 0, so y=s/(s2+1)=12(1s−i+1s+i)y = s/(s^2 + 1) = \frac{1}{2}\left(\frac{1}{s - i} + \frac{1}{s + i}\right). By rule 2, y=12(eit+e−it)=cos⁡ty = \frac{1}{2}(e^{it} + e^{-it}) = \cos t.

Non-example: the operator ss itself is not a continuous function, so rule 2 has no analogue for ss. If s=gs = g for a continuous gg, then l∗g=l⋅s=1l * g = l \cdot s = 1, so l∗g∗l=ll * g * l = l as functions. The left side is a convolution of continuous functions, so it vanishes at t=0t = 0, while l(0)=1l(0) = 1.

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. Convolution on the half-line concept
  2. Linear differential equation of order n concept
  3. Mikusiński field of operators concept
  4. Mikusiński operational calculus definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Operational_calculus
About this page
TagMTM92ND7HE
URIm2://MTM92ND7HE
Kinddefinition
WritingW0 stub
MSC44A40
DefinesMikusiński operational calculus
UsesMikusiński field of operators, Convolution on the half-line, Linear differential equation of order n

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.