--- title: "Weak Solutions and Test Functions" description: "Multiply the equation by a smooth test function, integrate by parts, and the derivative moves off the unknown. A function with a corner can then solve an equation that in the classical sense it cannot" canonical: https://lightmysky.com/learn/mathematics/weak-solutions-and-test-functions-mt_AKlC3Ol70p source: https://lightmysky.com/learn/mathematics/weak-solutions-and-test-functions-mt_AKlC3Ol70p.md retrieved: 2026-09-12 --- > **Agent view.** This is the Markdown twin of the page, for tools and assistants. > When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md > API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md > Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt > Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json > Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`. # Weak Solutions and Test Functions Multiply the equation by a smooth test function, integrate by parts, and the derivative moves off the unknown. A function with a corner can then solve an equation that in the classical sense it cannot. Subject: Mathematics · Area: Differential Equations · Ages 22 to 24 Page: https://lightmysky.com/learn/mathematics/weak-solutions-and-test-functions-mt_AKlC3Ol70p ## Ready when they can - Move a derivative onto a test function and say why the boundary terms vanish - Show that a piecewise linear function solves a problem weakly but not classically - Say what a Sobolev space collects and why its completeness is the point ## Lesson: Solving equations too rough to differentiate Multiply the equation by a smooth helper, integrate by parts, and the derivative moves off the unknown onto the helper. The price is a boundary bracket, but test functions are smooth helpers engineered to vanish near the boundary, so the bracket dies every time. What remains is the weak formulation: an integral equation that asks less of u yet means the same whenever u is smooth. **Example.** Take u(x) equals the absolute value of x on (negative 3, 3). From the left the slope is negative 1 and from the right it is 1, so no single tangent exists at 0 and u is not classically differentiable there. Away from the kink it is smooth: at x equals 2 it agrees with the line y equals x, so its weak derivative there is 1. A tent peaking at 2 over (negative 2, 2) works the same way, with weak derivative negative 1 on (0, 2) where it falls. A Sobolev space collects the functions whose weak derivatives stay square-integrable: it keeps u plus its weak derivatives in L2. The point of these spaces is completeness, so limits of approximating sequences stay inside and computations converge to real members. In one dimension every H1 function has a continuous representative, so tents are welcome but jumps are not. The step function is in L2 yet has no L2 weak derivative, since differentiating its jump gives a point mass. **Tip.** For smooth functions the weak machinery changes nothing: x squared has weak second derivative 2, matching the classical one. The absolute value shows the limit: its first weak derivative jumps from negative 1 to 1, and differentiating that jump concentrates a point mass at the kink. So it has no weak second derivative in L2. When moving derivatives, always check which side of the kink you stand on. **Recap.** Test functions absorb the derivatives, so kinked functions can solve equations that classical sense forbids. ## Practice 18 questions on this page, each with its working shown. ## Needs first - [Laplace's Equation and the Maximum Principle](https://lightmysky.com/learn/mathematics/laplaces-equation-and-the-maximum-principle-mt_jSEkaTav1V) - [Lp Spaces and the Inequalities They Rest On](https://lightmysky.com/learn/mathematics/lp-spaces-and-the-inequalities-they-rest-on-mt_Qd8jU26qgE) - [Integration by Parts](https://lightmysky.com/learn/mathematics/integration-by-parts-mt_v6jZVs2_tf) ## Opens up - [Markov Chains and the Memoryless Assumption](https://lightmysky.com/learn/mathematics/markov-chains-and-the-memoryless-assumption-mt_2wDa_JxJ_o)