In mathematics, Picarditeration is the fixed point iteration discovered by Charles Émile Picard for the approximate solution of ordinary differential equations , which is also used in the proof of the local version of Picard-Lindelöf's theorem .
definition
Look through that
![x '(t) = f (t, x (t)), \ quad x (t_0) = x_0](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b4e1105073bcb4dd325c270c628bce80ab3583d)
given initial value problem , where is a continuous and in the second argument Lipschitz continuous mapping and from a real time interval.
![f (t, x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d077477da739142b025b47f0a60d50aa8d57fcb5)
![t](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
The Picarditeration is then given by
![x ^ {[0]} (t) = x_0](https://wikimedia.org/api/rest_v1/media/math/render/svg/31c87d42c115f08be0366d74df8f43657f9a0110)
![x ^ {[\ ell + 1]} (t) = x_0 + \ int_ {t_0} ^ tf (s, x ^ {[\ ell]} (s)) \, ds, \ quad t \ in [t_0, t_0 + \ varepsilon].](https://wikimedia.org/api/rest_v1/media/math/render/svg/adcfc488da7716cc33cd86531fba3b238daf0336)
The sequence of functions thus generated converges evenly towards the solution for sufficiently small ones .
![x (t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d54c275db3a1e620737b58e143b0818107fa5f5c)
example
Animation for the development of the sequence of functions generated by Picarditeration.
An ordinary differential equation is given by
![x '= \ sin (t) - x](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cece251555d534c59e03e1663876d1c3a521230)
with the starting value:
![x (0) = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/e502f85fa127369616c9d6cce7b0cfdfad2abbc1)
Two steps of Picard iteration are:
![x ^ {[0]} (t) = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/73c350d8eb6b02b3cdfd147aa1c3b1679284af6e)
![x ^ {[1]} (t) = 1 + \ int_0 ^ t (\ sin (s) - 1) \, ds = 2 - \ cos (t) - t](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cd1418c204ec4bce75f63925dfc9adf8c5a718d)
![x ^ {[2]} (t) = 1 + \ int_0 ^ t (\ sin (s) - (2 - \ cos (s) - s)) \, ds = 2 - \ cos (t) - 2t + \ sin (t) + \ frac {t ^ 2} {2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96adc903fe004015cc9a60a5357fd6fdb35df744)
Web links