Ordinary differential equations Proposition
Integral equation form of an initial value problem
Builds on Initial value problemPicard operatorSolution of an ordinary differential equation
Statement
Let be an interval, let be an open subset of , let be continuous, and let and . Let be a continuous curve. Then is differentiable on with for each and if and only if At an endpoint of that belongs to , the derivative is one-sided.
Remarks
In other words, the solutions of the initial value problem on are the fixed points of the Picard operator. Proof: one direction is the fundamental theorem of calculus applied to . For the other, the integrand is continuous, so the integral is differentiable in . The integral form needs only continuity of . This makes it the right setting for fixed point arguments.
Reading path
To understand this page from the ground up, read these 10 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Differential equation concept
- Function concept
- Interval concept
- Ordinary differential equation definition
- Lipschitz condition definition
- Solution of an ordinary differential equation definition
- Initial value problem definition
- Picard–Lindelöf hypotheses definition
- Picard operator definition
- Integral equation form of an initial value problem statement
Where this leads
6 pages build on this one.
Further reading
About this page
| Tag | 015KK993C5 |
|---|---|
| URI | m2://015KK993C5 |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 34A12 |
| Status | This copy of the site has no build data. Run m2 status 015KK993C5. |
| Uses | Initial value problem, Picard operator, Solution of an ordinary differential equation |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.