4.7.2Partial Differential Equations

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

1,925 words9 min readdifficulty · medium2 backlinks

WHAT are we even solving?

A differential equation alone has infinitely many solutions (a family with arbitrary constants). To pin down one member, we attach extra data called side conditions (also called auxiliary conditions).

The type of side condition decides whether the problem is an IVP or a BVP.


WHY does the location matter so much?

Intuition first (Feynman): Imagine a thrown ball.

  • IVP version: "It starts at height 00 with upward speed 2020 m/s." You know position and velocity at t=0t=0. Physics then forces the whole future trajectory. This is causal / time-marching.
  • BVP version: "It is on the ground at t=0t=0 AND back on the ground at t=4t=4." You don't know the initial speed — you must find the trajectory that connects two endpoints. This is global / it's-a-puzzle.

HOW to tell them apart and solve — second-order template

Take the canonical second-order linear ODE: y+p(x)y+q(x)y=f(x).y'' + p(x)\,y' + q(x)\,y = f(x). Its general solution has two arbitrary constants: y(x)=c1y1(x)+c2y2(x)+yp(x).y(x) = c_1 y_1(x) + c_2 y_2(x) + y_p(x). We need two equations to fix c1,c2c_1,c_2.

IVP conditions (same point x0x_0): y(x0)=A,y(x0)=B.y(x_0)=A,\qquad y'(x_0)=B.

BVP conditions (two points aba\neq b): y(a)=α,y(b)=β.y(a)=\alpha,\qquad y(b)=\beta.

Derivation of why a BVP can be singular

Plug the boundary data into the general solution. You get a linear system in c1,c2c_1,c_2:

(y1(a)y2(a)y1(b)y2(b))(c1c2)=(αyp(a)βyp(b)).\begin{pmatrix} y_1(a) & y_2(a)\\ y_1(b) & y_2(b)\end{pmatrix} \begin{pmatrix} c_1\\ c_2\end{pmatrix} = \begin{pmatrix} \alpha - y_p(a)\\ \beta - y_p(b)\end{pmatrix}.

Call the matrix MM.

  • If detM0\det M \neq 0unique (c1,c2)(c_1,c_2) → unique solution.
  • If detM=0\det M = 0 → either no solution or infinitely many (depends on the right side).

For an IVP the analogous matrix is the Wronskian W(x0)=y1y2y2y1W(x_0)=y_1 y_2' - y_2 y_1' evaluated at the same point, which is never zero for independent solutions — that's why IVPs are reliably uniquely solvable.


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

Worked Examples


Common Mistakes (Steel-manned)


Flashcards

What single feature distinguishes an IVP from a BVP?
Whether all side conditions are at one point (IVP) or split across distinct points (BVP).
How many conditions does an nn-th order ODE need to be well-posed?
nn conditions.
Why is an IVP (under mild conditions) always uniquely solvable?
The Wronskian at the initial point is nonzero, giving a unique constant determination; Picard–Lindelöf guarantees existence & uniqueness.
What matrix determines BVP solvability and what does its determinant being zero mean?
M=y1(a)y2(a)y1(b)y2(b)M=\begin{smallmatrix}y_1(a)&y_2(a)\\y_1(b)&y_2(b)\end{smallmatrix}; detM=0\det M=0 → no solution OR infinitely many.
Give a BVP with infinitely many solutions.
y+y=0y''+y=0, y(0)=0y(0)=0, y(π)=0y(\pi)=0y=csinxy=c\sin x for any cc.
Give a BVP with no solution.
y+y=0y''+y=0, y(0)=0y(0)=0, y(π)=1y(\pi)=1 → contradiction 0=10=1.
Are y(a)y(a) and y(a)y'(a) together an IVP or BVP?
IVP (both at the same point aa).
What classical eigenvalue theory arises from BVP singularity?
Sturm–Liouville theory; detM=0\det M=0 gives eigenvalues.
For y=0y''=0, y(0)=T0,y(L)=T1y(0)=T_0,y(L)=T_1, what is the solution?
y=T0+T1T0Lxy=T_0+\frac{T_1-T_0}{L}x, unique.
Conceptually, IVP = ? marching; BVP = ? puzzle.
IVP = forward (causal) marching; BVP = global two-point matching.

Recall Feynman: explain to a 12-year-old

Suppose you're drawing a path for a toy car. IVP: "Start HERE, pointing THIS way, going THIS fast." Now the car has to go one definite way — easy, just let it roll. BVP: "The car must start at the door AND end at the kitchen." You're not told how fast to push it; you have to figure out the push that lands it exactly in the kitchen. Sometimes there's one perfect push, sometimes no push works, sometimes lots of pushes work — that's why BVPs are trickier than IVPs even when both give "two facts."

Connections

Concept Map

has

pinned by

all at one point

split across edges

local causal

guaranteed by

global puzzle

yields

matrix

det M not 0

det M = 0

Differential equation

Infinite solution family

Side conditions

Initial Value Problem

Boundary Value Problem

Time-march forward

Picard-Lindelof uniqueness

Connect two endpoints

Linear system in c1 c2

Matrix M

Unique solution

No or infinite solutions

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, ek differential equation ke paas infinite solutions hote hain — ek poora family with arbitrary constants. Us family me se ek specific solution choose karne ke liye humein extra conditions deni padti hain. Ab asli baat ye hai ki ye conditions kahan di gayi hain. Agar saari conditions ek hi point par hain (jaise y(0)y(0) aur y(0)y'(0)), to wo IVP hai — Initial Value Problem. Agar conditions do alag-alag points par bati hui hain (jaise y(a)y(a) aur y(b)y(b)), to wo BVP hai — Boundary Value Problem.

IVP ko samajhna easy: socho ek ball ko start position aur speed pata hai. Nature aage ka pura path khud decide kar leti hai — isliye IVP almost hamesha unique solution deta hai (Wronskian zero nahi hota, Picard-Lindelof guarantee deta hai). BVP me situation alag hai: tumhe sirf do ends pata hain, beech ka rasta khud match karna padta hai. Isliye BVP me kabhi ek hi solution, kabhi bilkul nahi, aur kabhi infinite solutions ho sakte hain.

Yaad rakhne ka trick: BVP me general solution daal ke ek matrix MM banti hai. Agar detM0\det M \neq 0 → unique. Agar detM=0\det M = 0 → ya to no solution ya infinite. Yahi detM=0\det M=0 wali baat aage Sturm-Liouville eigenvalues banati hai — bahut important physics me (heat equation, wave equation, quantum). Example: y+y=0y''+y=0 ke saath y(0)=0,y(π)=0y(0)=0,y(\pi)=0 → infinite solutions csinxc\sin x, lekin y(π)=1y(\pi)=1 kar do → koi solution hi nahi! Same equation, sirf condition badli, aur duniya badal gayi.

Bas itna rakho dimaag me: I = Instant (ek jagah), B = Both ends (do jagah). Conditions ginna kaafi nahi hai — unki location dekho.

Go deeper — visual, from zero

Test yourself — Partial Differential Equations

Connections