4.6.27 · D1Ordinary Differential Equations

Foundations — Properties — linearity, first - second shift theorems, scaling

1,907 words9 min readBack to topic

Why this page exists

The parent note throws around , , , , , , , and "substitution" as if you already met them. Here we earn each one, in an order where every symbol only uses symbols defined before it. If any line on the parent page felt like a foreign language, this is your dictionary — with pictures.


0. What is a "function of time" ?

Figure — Properties — linearity, first - second shift theorems, scaling

Why the topic needs it: every Laplace rule starts "given a function …". If you can't picture as a curve, the whole chapter is symbols floating in space.


1. The exponential and its cousins ,

Figure — Properties — linearity, first - second shift theorems, scaling

Why the topic needs it: the first-shift theorem is literally "what happens when you multiply your function by ", and the whole transform is built on the fader . No exponential, no Laplace.


2. The variable and the transform output

Why the topic needs it: every property is written " something". The first shift gives , the second gives . You must know that is a function you can plug shifted inputs into, exactly like plugging into to get .


3. The integral sign

This is the scariest-looking symbol on the parent page. We build it in three plain steps.

Figure — Properties — linearity, first - second shift theorems, scaling

Why the topic needs it: the definition is an integral, and every property is proved by manipulating this integral. Linearity works because area-of-a-sum = sum-of-areas.


4. Putting it together: the operator

Now every symbol on the parent page is defined: , , , , , , and . See the Laplace Transform — Definition and Existence note for when this integral is guaranteed to converge, and Laplace Transforms of Standard Functions (1, e^at, sin, cos, t^n) for the building blocks the properties act on.


5. Two more symbols the properties lean on

5a. The unit step

Figure — Properties — linearity, first - second shift theorems, scaling

Why the topic needs it: the second shift theorem is built on this switch. Full details of the switch live in Unit Step and Dirac Delta Functions.

5b. The dummy variable and "substitution"

Why the topic needs it: the second shift and scaling derivations are substitutions. If you don't trust that renaming leaves the integral's value unchanged, those proofs look like magic.


Prerequisite map

Function of time f of t

Laplace operator L

Exponential e to the at

Rule e^p times e^q equals e^p+q

Integral as area sum

Strip width dt

Knob variable s

Transform output F of s

First shift theorem

Unit step u of t-a

Second shift theorem

Substitution with dummy tau

Scaling property

Properties page 4.6.27


Equipment checklist

Recall Self-test: can you answer each before the colon?

What does mean, as a picture? ::: A curve; for each time you read the height off the graph. What is special about the curve ? ::: Its steepness at every point equals its own height; it passes through and grows ever faster. Growth vs decay: when does decay? ::: When (and grows when ). The one exponential algebra rule ::: — multiplying adds exponents. What does compute? ::: The total signed area under from to , summed from thin strips. What is ? ::: The infinitely thin width of one area-strip, marking as the summed variable. Why does the Laplace integral need the factor? ::: It fades the far future so the infinite-area sum stays finite (converges). Lower-case vs capital ? ::: lives in time-world; is its transform in s-world. What is — a number or a machine? ::: A machine (operator): it turns a time-function into the s-function . What does do to a function? ::: Erases it before (value ), passes it unchanged from on (value ). Why is used in the shift/scaling proofs? ::: It's a dummy rename of the time variable so the integral matches the definition of ; renaming doesn't change the value, but the factor must be tracked.

Connections