- 1. Overview
- 2. Etymology
- 3. Cultural Impact
Class of problems for partial differential equations
In the mathematical theory of partial differential equations (PDEs) a class of problems refers to a systematic way of formulating, analysing, and solving equations that involve partial derivatives of an unknown function with respect to more than one independent variable. The classification of PDE problems is a fundamental step that determines which theoretical tools, existenceâuniqueness theorems, and computational techniques are applicable. This article surveys the principal categories, the contexts in which they arise, the salient features that distinguish them, and the principal solution strategies that have been developed. All internal Wikipedia links are retained in their original Markdown formâŻtext and no external links are introduced.
Scope
The taxonomy of PDE problems cuts across several domains of human inquiry, reflecting the breadth of phenomena that can be modelled by such equations. The principal fields are listed below; each field is linked to its dedicated Wikipedia entry so that readers can navigate to the relevant background material.
- Natural sciences â physics, chemistry, biology, and earthâsystem studies frequently employ PDEs to describe continuum phenomena.
- Engineering â fluid dynamics, heat transfer, electromagnetism, and control theory rely heavily on PDE models.
- Astronomy â radiative transfer and gravitational potentials are modelled with PDEs.
- Physics â quantum mechanics, relativistic field theory, and statistical mechanics use PDEs extensively.
- Chemistry â reactionâdiffusion systems and transport phenomena are described by PDEs.
- Biology â pattern formation, diffusion of chemicals, and population dynamics are often modelled with PDEs.
- Geology â seismology and heat flow in the Earthâs interior are governed by PDEs.
The classification also intersects with Applied mathematics , a broader domain that unites analytical, numerical, and computational approaches to solving realâworld problems.
Subâdisciplinary domains
Within applied mathematics, PDEs are coupled with several specialised areas:
- Continuum mechanics â solid and fluid mechanics.
- Chaos theory â the study of deterministic nonlinear dynamics that exhibit sensitive dependence on initial conditions.
- Dynamical systems â qualitative analysis of solution behaviour over time.
These subâfields are often treated as separate headings in the taxonomy because they bring distinct conceptual frameworks and technical toolkits to bear on PDE problems.
Classification
The classification of PDEs is multiâdimensional, reflecting the way in which the equations are structured, the nature of their solutions, and the methods used to study them. The principal dimensions are outlined below.
By equation type
- Ordinary â equations involving derivatives with respect to a single independent variable; contrasted with partial derivatives.
- Partial â equations involving partial derivatives with respect to two or more independent variables.
- Differentialâalgebraic â systems that mix differential and algebraic equations.
- Integroâdifferential â equations that contain both derivatives and integrals of the unknown function.
- Fractional â equations involving derivatives of nonâinteger order.
- Linear â equations in which the unknown function and its derivatives appear linearly.
- Nonâlinear â equations in which the unknown function or its derivatives appear nonâlinearly.
By variable type
- Dependent and independent variables â the distinction between quantities that are solved for and those that are given.
- Autonomous â equations that do not explicitly depend on the independent variables.
- [Coupled / Decoupled] â systems where equations are interlinked versus those that can be solved independently.
- Exact â equations that can be expressed as the total differential of a function.
- Homogeneous / Nonâhomogeneous â distinctions based on whether the equation equals zero or a nonâzero forcing term.
By order and structure
- Order â the highest derivative order present in the equation.
- Operator â the formal differential operator that acts on the unknown function.
- Notation â conventions for representing derivatives.
Features
The qualitative behaviour of solutions to PDEs is encoded in a suite of concepts that are essential for both theoretical analysis and practical computation. Each feature is linked to its Wikipedia entry for deeper exploration.
- Order â determines the number of initial or boundary conditions required for a wellâposed problem.
- Operator â often written as (L[u] = f) where (L) denotes a linear differential operator.
- Notation â includes symbols such as (\partial) for partial derivatives and (\nabla) for gradient.
Boundary and initial conditions
- Initial conditions â specifications of the solution and its derivatives at a single point in time.
- Boundary values â specifications on the boundary of the spatial domain.
- Dirichlet â conditions that prescribe the solution itself on the boundary.
- Neumann â conditions that prescribe the normal derivative on the boundary.
- Robin â a linear combination of Dirichlet and Neumann conditions.
- Cauchy problem â a unified formulation that may involve either initial or boundary data, depending on context.
- Wronskian â a determinant used to assess linear independence of solutions.
- Phase portrait â a geometric representation of trajectories in the state space.
- Lyapunov / Asymptotic / Exponential stability â criteria for stability of solutions.
- Rate of convergence â how quickly numerical or analytical approximations approach the exact solution.
- Series â formal expansions of solutions in powers of the independent variables.
- [Integral solutions] â representations of solutions via integral operators.
- Numerical integration â quadrature techniques used to approximate integrals that arise in analytical solutions.
- Dirac delta function â a distribution used to model point sources in PDEs.
Relation to processes
PDEs are closely linked to a variety of discrete and stochastic analogues that capture the same underlying physical phenomena from different conceptual angles. These relationships are formalised through the following correspondences.
- Difference (discrete analogue) â finiteâdifference approximations of PDEs.
- Stochastic â PDEs that incorporate random fluctuations.
- Stochastic partial â PDEs that are coupled with stochastic processes such as Brownian motion.
- Delay â equations in which the derivative at a given time depends on the solution at earlier times.
Understanding these connections helps to transfer analytical insights across discrete, deterministic, and stochastic frameworks.
Solution
Existence and uniqueness
The foundational theoretical results that guarantee that a PDE problem possesses a solution, and that the solution is unique under prescribed conditions, are summarised below. Each theorem is associated with its Wikipedia entry.
- PicardâLindelöf theorem â provides conditions for existence and uniqueness of solutions to ordinary differential equations; a version exists for certain classes of PDEs.
- Peano existence theorem â guarantees existence of solutions under weaker hypotheses.
- CarathĂ©odory’s existence theorem â extends existence results to more general settings, including certain nonlinear PDEs.
- CauchyâKowalevski theorem â a cornerstone result stating that analytic data yield a unique analytic solution in a neighbourhood of the initial surface.
These theorems are typically invoked after specifying the appropriate functional spaces and regularity assumptions.
General solution topics
- Initial conditions â often encoded as Cauchy data on a hypersurface.
- Boundary values â may be Dirichlet, Neumann, Robin, or mixed.
- Dirichlet â prescribing the solution itself.
- Neumann â prescribing the normal derivative.
- Robin â a weighted combination of the two.
- [Cauchy problem] â a unified formulation that may involve a mixture of initial and boundary specifications.
- Wronskian â used to test linear independence of a set of solutions.
- Phase portrait â visualises the qualitative behaviour of solutions in phase space.
- Lyapunov / Asymptotic / Exponential stability â criteria for assessing stability of equilibrium states.
- Rate of convergence â quantifies how quickly iterative or numerical schemes approach the exact solution.
- Series â includes powerâseries and integral representations of solutions.
- Numerical integration â techniques such as Gaussian quadrature that are employed to evaluate integrals appearing in analytical solutions.
- Dirac delta function â used to model point sources and impulsive forces.
Solution methods
A rich arsenal of analytical and numerical techniques has been developed to tackle the diverse classes of PDEs encountered in science and engineering. The principal families of methods are listed below, each linked to its Wikipedia page.
- Inspection â adâhoc identification of a solution by recognizing a known pattern.
- Method of characteristics â reduces firstâorder PDEs to ordinary differential equations along curves in the domain.
- Euler â a basic explicit timeâstepping scheme for numerical integration.
- Exponential response formula â used for linear timeâinvariant systems.
- Finite difference â discretises derivatives on a grid; linked variants include CrankâNicolson .
- Finite element â a variational approach that constructs piecewise polynomial approximations.
- Infinite element â an extension of finite elements to infinite domains.
- Finite volume â conserves fluxes across control volumes, popular in computational fluid dynamics.
- Galerkin â a weightedâresidual technique that yields weak solutions.
- PetrovâGalerkin â a variant that employs distinct test and trial spaces.
- Green’s function â a fundamental solution that propagates influence from a point source.
- Integrating factor â transforms a nonâexact equation into an exact one.
- Integral transforms â such as Laplace or Fourier transforms, convert PDEs into algebraic equations.
- Perturbation theory â expands solutions in a small parameter.
- RungeâKutta â a family of highâorder explicit timeâstepping schemes.
- Separation of variables â assumes a product form of the solution to reduce PDEs to ODEs.
- Method of undetermined coefficients â guesses a form for particular solutions.
- Variation of parameters â generalises undetermined coefficients for nonâhomogeneous equations.
People
The development of the theory of PDEs has been shaped by many eminent mathematicians. Their contributions are recorded in the following list, each linked to the corresponding Wikipedia biography.
- Isaac Newton
- Gottfried Leibniz
- Jacob Bernoulli
- Leonhard Euler
- JosephâLouis Lagrange
- JĂłzef Maria HoeneâWroĆski
- Joseph Fourier
- AugustinâLouis Cauchy
- George Green
- Carl David Tolmé Runge
- Martin Kutta
- Rudolf Lipschitz
- Ernst Lindelöf
- Ămile Picard
- Phyllis Nicolson
- John Crank
These figures are further organized in a navigable list that can be accessed via the Wikipedia navigation templates.
See also
- Mathematics portal â a central hub for mathematical topics.
- Cauchy boundary condition â a type of boundary condition named after AugustinâLouis Cauchy.
- Cauchy horizon â a concept from general relativity related to PDEs on Lorentzian manifolds.