Notes on Diffy Qs: Differential Equations for Engineers
Introduces ODEs with computation, modeling and examples. A useful first encounter, but its engineering orientation should be supplemented by proof-based analysis.
The equation, initial data and boundary conditions together determine the problem. Lebl gives an entry through first-order methods, systems and separated heat and wave equations. Dyatlov studies distributions and elliptic regularity at graduate level. Choose the computational route to learn what solutions and boundary conditions do; choose the analytic route only when measure, functional and Fourier analysis are available as working tools.
Notes on Diffy Qs: Differential Equations for Engineers — Jiří Lebl. Read 1.3-1.4 for first-order methods, 3.3-3.4 for linear systems and 3.8 for matrix exponentials, and 4.1-4.4 for Fourier boundary expansions. Continue with 4.6-4.7 for the heat and wave equations; 4.8 supplies d'Alembert's alternative on the line.
Verify a proposed solution by substitution and check its data separately. For a linear system, compare a matrix exponential with the geometry of its phase portrait. In separation of variables, derive the boundary eigenfunctions before writing a series and explain what convergence would justify the final substitution. A formal solution formula does not establish existence or uniqueness. When you need weak derivatives, pause to learn test functions and distributions before taking on elliptic regularity.
Connect solution techniques with initial and boundary data.
Read 1.3-1.4 for first-order methods, 3.3-3.4 for linear systems and 3.8 for matrix exponentials, and 4.1-4.4 for Fourier boundary expansions. Continue with 4.6-4.7 for the heat and wave equations; 4.8 supplies d'Alembert's alternative on the line.
Source · Checked 2026-10-16
Move from formal PDE manipulations to distributional and regularity arguments.
Chapter 1, sections 1.2-1.4, for function spaces, convolution and exercises; chapter 2, sections 2.1-2.4, for distribution foundations and exercises. Continue to elliptic regularity only after these.
Source · Checked 2026-10-17
Initial-value and separated-PDE exercises. Exercise sets in sections 1.3-1.4, 3.4, 3.8 and 4.6-4.7; compare only the matching numbered entries in Solutions to Selected Exercises. Section 4.6 answers appear on printed page 454.. Public exercises and Solutions to Selected Exercises are present in the PDF. Answers for numbered heat-equation exercises in section 4.6 were inspected; a complete worked key is not claimed.
Try a proof or calculation before opening the hint. These solutions address the checks below, not the exercises in the linked textbooks.
Solve y' + 2y = exp(-t), y(0)=0, and verify the result by substitution.
Multiply by exp(2t) so that the left side becomes a product derivative.
Multiplication by gives . Integrating from to and using yields , hence for every real .
Its derivative is , so , and . For uniqueness among differentiable solutions on an interval containing , subtract two solutions. Their difference satisfies and , hence . This verifies both the equation and the initial-value constraint.
If this was the sticking point:
Already comfortable with this? Skip first-order linear and heat-equation review if you can solve and verify both checks. Assess separable equations, linear systems and waves separately through their exercise sets. Read Teschl if you can calculate solutions but cannot state a local uniqueness hypothesis or explain how a solution may cease to extend. Weak PDE solutions and Sobolev spaces require a further course.
Review the prerequisites · Compare the full subject collection
An explicit solution is a good place to start, but it does not explain what to do when a function has a corner. The absolute value function is enough to see why the definition of derivative changes in weak PDE methods.
Keep Lebl as the starting text: §§1.3–1.4 for first-order equations, §§3.3–3.4 and §3.8 for linear systems, then §§4.1–4.4 and §§4.6–4.7 for Fourier methods, heat and waves. Verify initial and boundary data as well as the equation. The existing exercise link has selected answers, not a complete public worked key.
For this bridge, read Hunter §3.1, Definition 3.1, then §3.2, Example 3.3. It gives a short first encounter with weak derivatives. The existing Dyatlov comparison is the longer distribution-theory route; choose it when ready for test-function spaces and convolution. Teschl remains useful for ODE existence and uniqueness, not as a substitute for weak PDE methods.
Starting text · Compare reading approaches · Exercises and available answers
On , has a corner at . Its classical derivative is on the left and on the right. The weak derivative is represented by these same values, with the value at left arbitrary. The claim concerns integrals against every smooth compactly supported test function, not a rule to ignore every exceptional point in any argument.
The two panels distinguish the graph of from a representative of its weak derivative. The holes at in the right panel leave that representative’s value unspecified; they do not leave a gap in the weak-derivative definition. Work through the check below before using notation.
Absolute value and its weak derivative
On let . Show that its weak derivative is for , with any value assigned at . Write the test-function identity and explain why the corner does not prevent it.
Take and split the integral at . On the left ; on the right . Integrate by parts on each half. The endpoint terms vanish: is zero near , and the factor is zero at .
Both and are locally integrable. For every , the required identity is
Extend by zero near the endpoints. Splitting the integral gives
This proves the identity for every test function, not just for a few choices. The value changes no Lebesgue integral: weak derivatives are determined only up to equality almost everywhere. There is still no classical derivative of at . In fact for , since and are bounded on this finite interval.
If the endpoint terms were unclear, review compact support and integration by parts. If the “almost everywhere” qualification was unclear, review null sets before moving to Sobolev spaces. This calculation is an independently written example using Hunter’s definition; his Example 3.3 treats , not .
Skip the integrating-factor warm-up only if you can verify the equation and initial value without the solution. Skip this weak-derivative example only if you can prove its test-function identity and explain the almost-everywhere qualification. Neither check replaces the measure and function-space preparation for a weak-solution course.
Introduces ODEs with computation, modeling and examples. A useful first encounter, but its engineering orientation should be supplemented by proof-based analysis.
Develops distributions and elliptic methods through applications including Hodge theory. These graduate notes are a specialized analytic path, not an elementary PDE survey.
An applied first course combines first-order equations, numerical methods, linear algebra, oscillations, Laplace transforms, phase planes, systems and series solutions.
A lengthy first differential-equations course with boundary-value material.
Combines ODE theory, models, computation and projects. Optional computational activities do not replace the proof-based preparation needed for graduate PDE.
Introduces elliptic boundary-value problems and variational methods. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.
Studies mixed PDE problems through operator methods. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.
Studies initial-value problems for partial differential equations. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.
Develops mathematical methods for propagating waves. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.
Connects diffusion processes with analytical PDE methods. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.
Studies nonlinear wave phenomena and shock formation. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.
Introduces Fourier-analytic techniques for PDE. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.
Develops deterministic and stochastic control ideas alongside differential equations and variational methods.
Develops weak derivatives, Sobolev spaces and elliptic equations.
Introduces analytic methods for nonlinear wave, Schrödinger and KdV equations. The author offers only three of six chapters plus an appendix, not the complete book.
A numerical-PDE specialization with mathematical approximation foundations. Distinguish discretization theory from pure PDE existence and regularity.
Fourier and Sobolev tools lead to Littlewood–Paley theory, pseudodifferential calculus, propagation and paradifferential operators.
Thermodynamic and probabilistic entropy ideas organize elliptic and parabolic estimates, conservation laws, Hamilton–Jacobi equations and stochastic examples.
A foundational construction for singular stochastic PDEs, beyond classical distributional solution methods.
A mathematical-elasticity course linking PDE and continuum models. Applied orientation is explicit; it is not a general first PDE course.
A course in the inverse conductivity problem, covering complex geometrical optics, stability and partial-boundary-data methods.
Connects wavefront sets and Fourier integral operators with tomography and boundary measurements; introductory microlocal discussion is partly nontechnical.
Treats geodesic X-ray transforms, wave-equation boundary measurements and inverse conductivity on Riemannian backgrounds.
A sustained treatment of tensor tomography, transport equations and geometric estimates, centered on surfaces.
Develops pseudodifferential calculi, microlocalization and boundary/scattering methods. This is the available developing manuscript, not a finished textbook.
A course on variational solitary waves, concentration compactness, orbital stability and dispersive estimates, with spectral and numerical discussions.
Two courses develop FBI transforms, holomorphic weighted spaces and analytic microlocal techniques, including analytic WKB constructions.
Wave propagation, Fourier-integral operators, parametrices, wave traces and scattering calculus are introduced through evolution equations.
A fluid-PDE course connects Euler and Navier–Stokes dynamics with active scalars, quasi-geostrophic equations, dissipation and spectra.
A focused exposition of spectral methods for wave decay, including low-energy behavior and examples involving trapping.
Optimal transport for quadratic and distance costs is connected to duality, Monge–Ampère regularity, nonlinear diffusion and sandpile models.