Ill-posed inverse problem 2026-10-14
An inverse problem is an ill-posed problem if it fails any requirement of a well-posed problem: existence for every admissible datum, uniqueness, or continuity of the reconstructed object as the data change. These requirements depend on the chosen spaces and norms, not just the equation. Clason's regularization notes formulate this distinction explicitly.[ref]
Complete averaging illustrates lost information:The difference mode belongs to the null space because . Even restricting both pixels to leaves infinitely many indistinguishable inputs. This is failure of uniqueness. Data such as also have no exact preimage under , illustrating failure of existence when arbitrary two-component observations are admissible.
The two-pixel matrix in the inverse problem example has a weakly observed difference mode, not a null space mode. Its inverse is continuous: this finite-dimensional problem is a well-posed problem with noise-sensitive conditioning. Small positive singular values alone do not imply mathematical ill-posedness. In infinite-dimensional problems, positive singular values approaching zero can make inversion unbounded: unit solution modes then produce data tending to zero. This destroys continuity even without a null space. Regularization of an inverse problem must distinguish missing information from information recoverable only at the cost of amplifying measurement noise.
Partial differential equation Created 2026-09-24 Updated 2026-10-14
A partial differential equation relates an unknown function of several independent variables to its partial derivatives. For , the notation means changing time while holding position fixed; measures how its spatial slope changes. Unlike an ordinary differential equation, a partial differential equation can describe an entire evolving profile rather than a single trajectory.
The heat equation smooths spatial variations, the transport equation moves them, and Laplace's equation describes a spatial equilibrium. Here is a diffusivity, is a velocity, and is the Laplacian. The periodic heat and transport comparison makes the difference visible using identical initial conditions.
A partial differential equation usually supplies a local rule rather than a complete answer. For example, every satisfies the heat equation with zero PDE source term; data select which profile is relevant. A complete problem specifies its domain of a function, coefficients, initial conditions, boundary conditions, and meaning of solution of a partial differential equation. A well-posed problem has existence, uniqueness, and continuous dependence on initial data in stated spaces; the equation alone guarantees none of these.[ref]
