Foundations — Initial value problems (IVP) vs boundary value problems (BVP)

This page assumes you have seen nothing. We build every symbol used by the parent note IVP vs BVP, one brick at a time, each brick resting on the one before.

0. The absolute starting point: a function and its graph

Before any equation, we need the object everything is about: a function.

The picture: draw a horizontal axis for $x$ and a vertical axis for $y$. The function is the curve — for every horizontal position $x$ you slide up to the curve and read off the height $y(x)$.

Why the topic needs it: the whole subject is "find the curve." $x$ might be a position along a rod, or time. The letter changes ($t$ for time, $x$ for position) but the idea — input in, height out — never does.

1. Slope: the first derivative $y^{\prime }$

To talk about how a curve bends and moves, we need a number that measures how steeply it rises.

The picture: at any point on the curve, lay a straight ruler just touching it (the tangent line). The tilt of that ruler is $y^{\prime }$ at that point.

2. Curvature: the second derivative $y^{\prime \prime }$

The slope itself changes as you move along the curve. The rate at which the slope changes is the next tool.

The picture: compare two nearby tangent rulers. If the second ruler is tilted more than the first, the slope grew — $y^{\prime \prime }>0$. A straight line has identical rulers everywhere, so $y^{\prime \prime }=0$ (this is exactly Example 3's rod: $y^{\prime \prime }=0\Rightarrow$ straight line).

3. The differential equation itself

Now we can read the parent's central object.

Why "linear"? Because $y,y^{\prime },y^{\prime \prime }$ each appear to the first power — never multiplied together, never squared. This is the property that makes the whole solution-family behave like straight-line arithmetic (Section 6).

4. The solution family and its arbitrary constants

A single differential equation does not have a single answer.

The picture: picture a bundle of curves, all obeying the same ODE, sprouting from every dial setting $(c_1,c_2)$. The equation gives the shape rules; the constants choose which member.

Why exactly two constants? Each integration (undoing one derivative) hands you one constant. A second-order equation is integrated twice → two constants → we need two facts to nail them down. This "two facts" count is the drumbeat of the entire parent note.

5. Side conditions — the two facts, and WHERE they sit

The picture — this is the heart of the whole topic:

On the left, both arrows plant at the same spot — you know height and slope there, so the curve is launched like a ball: one definite path. On the right, one arrow pins the left edge and one pins the right edge — you must stretch a curve to hit both targets, which may be possible in one way, no way, or many ways.

6. The linear system, the matrix $M$, and its determinant

When we force the general solution to obey two conditions, we get two equations in the two unknown dials $c_1,c_2$. Packaging them:

The picture: think of the two rows as two arrows in a plane. $\det M$ is the signed area of the parallelogram they span. If the arrows point along the same line, the parallelogram is squashed flat — zero area — and the system loses its grip on a unique answer.

7. The Wronskian — why IVPs are the safe, reliable case

For an IVP both conditions sit at the same point $x_0$, so the deciding number uses one location.

Why it matters: for genuinely independent basis solutions $W$ is never zero — see Wronskian and Linear Independence. So the IVP's deciding number never vanishes, and an IVP is always uniquely solvable (this is the analytic muscle behind the Picard-Lindelöf Existence and Uniqueness Theorem). The BVP has no such guarantee — that asymmetry is the topic.

How the foundations feed the topic

Once these are solid, you are ready for Separation of Variables (PDE), where the BVP piece produces the eigenvalues studied in Sturm-Liouville Theory, feeding the Heat Equation and Wave Equation, and later Green's Functions.

Equipment checklist