Can we solve a non-autonomous diffeq via Taylor series?

Click For Summary

Discussion Overview

The discussion centers on the possibility of solving non-autonomous ordinary differential equations (ODEs) using Taylor series, specifically examining the case of the equation ##y'(t) = f(t)y(t)##. Participants explore the implications of using Taylor series for functions that may not be analytic.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • Some participants propose that it is theoretically possible to find a Taylor series solution for non-autonomous ODEs, providing a formula for the coefficients.
  • One participant questions the validity of the Taylor series solution when the function ##f(t)## is defined piecewise, suggesting that all coefficients except ##a_0## may be zero, leading to a constant solution.
  • Another participant argues that the function in question is not analytic, stating that it does not equal its Taylor series, which raises concerns about substituting the series for the function.
  • A later reply emphasizes that if ##f(t)## is not analytic, a Taylor series solution may not exist for the differential equation, thus indicating that the original question about solving via Taylor series does not have a universal answer.
  • One participant illustrates that the Taylor series of the specific function converges to the zero function, concluding that a Taylor series solution fails to solve the differential equation for this case.

Areas of Agreement / Disagreement

Participants express differing views on the applicability of Taylor series solutions to non-autonomous ODEs, particularly when the function involved is not analytic. There is no consensus on whether a Taylor series can always be used to solve such equations.

Contextual Notes

Limitations include the dependence on the analyticity of the function ##f(t)## and the implications of using Taylor series for functions that do not meet this criterion.

askmathquestions
Messages
65
Reaction score
6
I've occasionally seen examples where autonomous ODE are solved via a power series.

I'm wondering: can you also find a Taylor series solution for a non-autonomous case, like ##y'(t) = f(t)y(t)##?
 
Physics news on Phys.org
In principle, yes. You end up with<br /> (n+1)a_{n+1} = \sum_{k=0}^n \frac{f^{(n-k)}(0)}{(n-k)!}a_k where the right hand side only involves a_k which are already known.
 
  • Like
Likes   Reactions: topsquark
pasmith said:
In principle, yes. You end up with<br /> (n+1)a_{n+1} = \sum_{k=0}^n \frac{f^{(n-k)}(0)}{(n-k)!}a_k where the right hand side only involves a_k which are already known.
What if

$$
f (t) = \left\{
\begin{matrix}
e^{ -\frac{1}{t^2} } & t > 0 \\
0 & t < 0
\end{matrix}
\right.
$$

Wouldn't all the ##a_n##'s be zero aside from ##a_0##? And the Taylor series solution give ##y(t)= y(0)##?

The general solution to the differential equation ##y'(t) = f(t) y (t)## is

$$
y(t) = y(0) e^{\int_0^t f (t') dt'}
$$

For the example above, the solution would be

$$
y (t) = y(0) e^{\int_0^t e^{ -\frac{1}{t^{'2}} } dt'}
$$

which isn't a constant.
 
Last edited:
  • Like
Likes   Reactions: topsquark
That function is not analytic. Its not equal to its Taylor series so you cannot substitute the series for the function.
 
  • Like
Likes   Reactions: PeroK
lurflurf said:
That function is not analytic. Its not equal to its Taylor series so you cannot substitute the series for the function.
I was illustrating that when ##f(t)## is not analytic there may not exist a Taylor series solution to the differential equation ##y'(t) = f(t) y(t)##. The OP was asking if we can solve the differential equation via a Taylor series. And the answer is not always.
 
Last edited:
I was using the fact that the Taylor series of the function

$$
f (t) = \left\{
\begin{matrix}
e^{ -\frac{1}{t^2} } & t > 0 \\
0 & t < 0
\end{matrix}
\right.
$$

at the origin converges everywhere to the zero function in order to prove that a Taylor series solution of the differential equation at the origin converges everywhere to the constant function. Meaning that a Taylor series solution fails to solve the differential equation for this choice of ##f(t)##. Meaning that the differential equation cant always be solved via a Taylor series.
 
Last edited:

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K
Replies
23
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K