--- 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-11-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. So for every test function phi, the integral of u prime phi equals minus the integral of u phi prime, and that identity defines u prime when u has no classical derivative. Doing it twice moves two derivatives, and the two minus signs cancel. What remains is the weak formulation: an 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. Its weak derivative is the sign function: negative 1 on (negative 3, 0) and 1 on (0, 3). A weak derivative is only fixed up to single points, so its value at 0 does not matter. A tent peaking at 2 over (negative 2, 2) works the same way, with weak derivative 1 on (negative 2, 0) and negative 1 on (0, 2). 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. 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) - [Integration by Parts](https://lightmysky.com/learn/mathematics/integration-by-parts-mt_v6jZVs2_tf) ## Optional connections - [Lp Spaces and the Inequalities They Rest On](https://lightmysky.com/learn/mathematics/lp-spaces-and-the-inequalities-they-rest-on-mt_Qd8jU26qgE) ## Opens up - [Markov Chains and the Memoryless Assumption](https://lightmysky.com/learn/mathematics/markov-chains-and-the-memoryless-assumption-mt_2wDa_JxJ_o)