Power series solution to a differential equation
up vote
1
down vote
favorite
If $f(rho)$ satisfies $frac{df}{drho}=frac{f(2rho)}{2f(rho)}$, I am trying to derive the form of $f(rho)$ by using a power series expansion $f(rho)=sum a_n rho^n$ and show that $f(rho)$ can be $rho$, $Rsin(rho/R)$ or $Rsinh(rho/R)$. I am getting stuck.
What should be further steps?
Thanks for the help in advance.
differential-equations power-series
add a comment |
up vote
1
down vote
favorite
If $f(rho)$ satisfies $frac{df}{drho}=frac{f(2rho)}{2f(rho)}$, I am trying to derive the form of $f(rho)$ by using a power series expansion $f(rho)=sum a_n rho^n$ and show that $f(rho)$ can be $rho$, $Rsin(rho/R)$ or $Rsinh(rho/R)$. I am getting stuck.
What should be further steps?
Thanks for the help in advance.
differential-equations power-series
Related Math.SE question: math.stackexchange.com/q/488535/11127 Crossposted from physics.stackexchange.com/q/441052/2451
– Qmechanic
2 days ago
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
If $f(rho)$ satisfies $frac{df}{drho}=frac{f(2rho)}{2f(rho)}$, I am trying to derive the form of $f(rho)$ by using a power series expansion $f(rho)=sum a_n rho^n$ and show that $f(rho)$ can be $rho$, $Rsin(rho/R)$ or $Rsinh(rho/R)$. I am getting stuck.
What should be further steps?
Thanks for the help in advance.
differential-equations power-series
If $f(rho)$ satisfies $frac{df}{drho}=frac{f(2rho)}{2f(rho)}$, I am trying to derive the form of $f(rho)$ by using a power series expansion $f(rho)=sum a_n rho^n$ and show that $f(rho)$ can be $rho$, $Rsin(rho/R)$ or $Rsinh(rho/R)$. I am getting stuck.
What should be further steps?
Thanks for the help in advance.
differential-equations power-series
differential-equations power-series
asked Nov 15 at 9:23
Tejas P
1649
1649
Related Math.SE question: math.stackexchange.com/q/488535/11127 Crossposted from physics.stackexchange.com/q/441052/2451
– Qmechanic
2 days ago
add a comment |
Related Math.SE question: math.stackexchange.com/q/488535/11127 Crossposted from physics.stackexchange.com/q/441052/2451
– Qmechanic
2 days ago
Related Math.SE question: math.stackexchange.com/q/488535/11127 Crossposted from physics.stackexchange.com/q/441052/2451
– Qmechanic
2 days ago
Related Math.SE question: math.stackexchange.com/q/488535/11127 Crossposted from physics.stackexchange.com/q/441052/2451
– Qmechanic
2 days ago
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
This is an interesting problem, albeit not an ODE in the usual sense. I don't think there is a general theory for equations of your kind. It turns out that in your example there are various families of elementary solutions (you found some yourself); but this seems a happy coincidence.
The solutions $tmapsto f(t)$ which are analytic in a neighborhood of $t=0$ can be found using a power series "Ansatz" $$f(t)=sum_{k=0}^infty a_kt^ktag{1}$$ and carefully analyzing the consequences of arbitrary choices made during the first steps. Plugging this "Ansatz" into the equation
$$2f(t)f'(t)=f(2t)tag{2}$$ we obtain
$$2sum_{jgeq0, >kgeq0}(j+1)a_{j+1}a_k t^{j+k}-sum_{rgeq0}2^r a_r t^requiv0 .$$
Collecting terms belonging to $t^r$ leads to the equations
$$2sum_{j+k=r}(j+1)a_{j+1}a_k-2^r a_r=0qquad(rgeq0) .$$
The first two equations are
$$
a_0(2a_1-1)=0>,qquad
2a_0a_2=a_1(1-a_1) .$$
The first equation enforces (i) $a_0=0$ or (ii) $a_1={1over2}$.
In case (i) the second equation enforces (i.i) $a_1=0$ or (i.ii) $a_1=1$. In case (i.i) it will later turn out that all $a_k=0$. The resulting $f$ solves $(2)$, but not the original equation in the question. In case (i.ii) it will later turn out that all $a_k$ with even $k$ are $=0$, and that $a_3:=c$ is arbitrary. The remaining $a_k$ with odd $k$ are then determined.
In case (ii) we may choose $a_0:=c$ arbitarily, and it will then turn out that all $a_k$ are uniquely determined.
It comes as a surprise that in all cases we can recognize the found coefficients as coefficients of well known functions, and it is then easy to verify that these functions indeed solve the equation $(2)$. In this way one obtains the solutions $$f_0(t)=t, quad f_1(t):=sin t, quad f_2(t)=sinh t,quad f_3(t)=e^{t/2} ,$$ whereby in each case the parameter $c$ has been suppressed here: It follows from the special form of the given functional equation that when ${cal G}(f)$ is the graph of a solution $f$ then stretching this graph from $(0,0)$ by a factor $R>0$ results in the graph of a solution as well.
But it is still possible that someone will come up with other solutions which are $C^infty$ at $t=0$, but not analytic there.
I am not able to show using the power series ansatz that the three solutions are t,sin(t) and sinh(t). Could you please show some steps? Thank you.
– Tejas P
Nov 15 at 21:29
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
This is an interesting problem, albeit not an ODE in the usual sense. I don't think there is a general theory for equations of your kind. It turns out that in your example there are various families of elementary solutions (you found some yourself); but this seems a happy coincidence.
The solutions $tmapsto f(t)$ which are analytic in a neighborhood of $t=0$ can be found using a power series "Ansatz" $$f(t)=sum_{k=0}^infty a_kt^ktag{1}$$ and carefully analyzing the consequences of arbitrary choices made during the first steps. Plugging this "Ansatz" into the equation
$$2f(t)f'(t)=f(2t)tag{2}$$ we obtain
$$2sum_{jgeq0, >kgeq0}(j+1)a_{j+1}a_k t^{j+k}-sum_{rgeq0}2^r a_r t^requiv0 .$$
Collecting terms belonging to $t^r$ leads to the equations
$$2sum_{j+k=r}(j+1)a_{j+1}a_k-2^r a_r=0qquad(rgeq0) .$$
The first two equations are
$$
a_0(2a_1-1)=0>,qquad
2a_0a_2=a_1(1-a_1) .$$
The first equation enforces (i) $a_0=0$ or (ii) $a_1={1over2}$.
In case (i) the second equation enforces (i.i) $a_1=0$ or (i.ii) $a_1=1$. In case (i.i) it will later turn out that all $a_k=0$. The resulting $f$ solves $(2)$, but not the original equation in the question. In case (i.ii) it will later turn out that all $a_k$ with even $k$ are $=0$, and that $a_3:=c$ is arbitrary. The remaining $a_k$ with odd $k$ are then determined.
In case (ii) we may choose $a_0:=c$ arbitarily, and it will then turn out that all $a_k$ are uniquely determined.
It comes as a surprise that in all cases we can recognize the found coefficients as coefficients of well known functions, and it is then easy to verify that these functions indeed solve the equation $(2)$. In this way one obtains the solutions $$f_0(t)=t, quad f_1(t):=sin t, quad f_2(t)=sinh t,quad f_3(t)=e^{t/2} ,$$ whereby in each case the parameter $c$ has been suppressed here: It follows from the special form of the given functional equation that when ${cal G}(f)$ is the graph of a solution $f$ then stretching this graph from $(0,0)$ by a factor $R>0$ results in the graph of a solution as well.
But it is still possible that someone will come up with other solutions which are $C^infty$ at $t=0$, but not analytic there.
I am not able to show using the power series ansatz that the three solutions are t,sin(t) and sinh(t). Could you please show some steps? Thank you.
– Tejas P
Nov 15 at 21:29
add a comment |
up vote
0
down vote
This is an interesting problem, albeit not an ODE in the usual sense. I don't think there is a general theory for equations of your kind. It turns out that in your example there are various families of elementary solutions (you found some yourself); but this seems a happy coincidence.
The solutions $tmapsto f(t)$ which are analytic in a neighborhood of $t=0$ can be found using a power series "Ansatz" $$f(t)=sum_{k=0}^infty a_kt^ktag{1}$$ and carefully analyzing the consequences of arbitrary choices made during the first steps. Plugging this "Ansatz" into the equation
$$2f(t)f'(t)=f(2t)tag{2}$$ we obtain
$$2sum_{jgeq0, >kgeq0}(j+1)a_{j+1}a_k t^{j+k}-sum_{rgeq0}2^r a_r t^requiv0 .$$
Collecting terms belonging to $t^r$ leads to the equations
$$2sum_{j+k=r}(j+1)a_{j+1}a_k-2^r a_r=0qquad(rgeq0) .$$
The first two equations are
$$
a_0(2a_1-1)=0>,qquad
2a_0a_2=a_1(1-a_1) .$$
The first equation enforces (i) $a_0=0$ or (ii) $a_1={1over2}$.
In case (i) the second equation enforces (i.i) $a_1=0$ or (i.ii) $a_1=1$. In case (i.i) it will later turn out that all $a_k=0$. The resulting $f$ solves $(2)$, but not the original equation in the question. In case (i.ii) it will later turn out that all $a_k$ with even $k$ are $=0$, and that $a_3:=c$ is arbitrary. The remaining $a_k$ with odd $k$ are then determined.
In case (ii) we may choose $a_0:=c$ arbitarily, and it will then turn out that all $a_k$ are uniquely determined.
It comes as a surprise that in all cases we can recognize the found coefficients as coefficients of well known functions, and it is then easy to verify that these functions indeed solve the equation $(2)$. In this way one obtains the solutions $$f_0(t)=t, quad f_1(t):=sin t, quad f_2(t)=sinh t,quad f_3(t)=e^{t/2} ,$$ whereby in each case the parameter $c$ has been suppressed here: It follows from the special form of the given functional equation that when ${cal G}(f)$ is the graph of a solution $f$ then stretching this graph from $(0,0)$ by a factor $R>0$ results in the graph of a solution as well.
But it is still possible that someone will come up with other solutions which are $C^infty$ at $t=0$, but not analytic there.
I am not able to show using the power series ansatz that the three solutions are t,sin(t) and sinh(t). Could you please show some steps? Thank you.
– Tejas P
Nov 15 at 21:29
add a comment |
up vote
0
down vote
up vote
0
down vote
This is an interesting problem, albeit not an ODE in the usual sense. I don't think there is a general theory for equations of your kind. It turns out that in your example there are various families of elementary solutions (you found some yourself); but this seems a happy coincidence.
The solutions $tmapsto f(t)$ which are analytic in a neighborhood of $t=0$ can be found using a power series "Ansatz" $$f(t)=sum_{k=0}^infty a_kt^ktag{1}$$ and carefully analyzing the consequences of arbitrary choices made during the first steps. Plugging this "Ansatz" into the equation
$$2f(t)f'(t)=f(2t)tag{2}$$ we obtain
$$2sum_{jgeq0, >kgeq0}(j+1)a_{j+1}a_k t^{j+k}-sum_{rgeq0}2^r a_r t^requiv0 .$$
Collecting terms belonging to $t^r$ leads to the equations
$$2sum_{j+k=r}(j+1)a_{j+1}a_k-2^r a_r=0qquad(rgeq0) .$$
The first two equations are
$$
a_0(2a_1-1)=0>,qquad
2a_0a_2=a_1(1-a_1) .$$
The first equation enforces (i) $a_0=0$ or (ii) $a_1={1over2}$.
In case (i) the second equation enforces (i.i) $a_1=0$ or (i.ii) $a_1=1$. In case (i.i) it will later turn out that all $a_k=0$. The resulting $f$ solves $(2)$, but not the original equation in the question. In case (i.ii) it will later turn out that all $a_k$ with even $k$ are $=0$, and that $a_3:=c$ is arbitrary. The remaining $a_k$ with odd $k$ are then determined.
In case (ii) we may choose $a_0:=c$ arbitarily, and it will then turn out that all $a_k$ are uniquely determined.
It comes as a surprise that in all cases we can recognize the found coefficients as coefficients of well known functions, and it is then easy to verify that these functions indeed solve the equation $(2)$. In this way one obtains the solutions $$f_0(t)=t, quad f_1(t):=sin t, quad f_2(t)=sinh t,quad f_3(t)=e^{t/2} ,$$ whereby in each case the parameter $c$ has been suppressed here: It follows from the special form of the given functional equation that when ${cal G}(f)$ is the graph of a solution $f$ then stretching this graph from $(0,0)$ by a factor $R>0$ results in the graph of a solution as well.
But it is still possible that someone will come up with other solutions which are $C^infty$ at $t=0$, but not analytic there.
This is an interesting problem, albeit not an ODE in the usual sense. I don't think there is a general theory for equations of your kind. It turns out that in your example there are various families of elementary solutions (you found some yourself); but this seems a happy coincidence.
The solutions $tmapsto f(t)$ which are analytic in a neighborhood of $t=0$ can be found using a power series "Ansatz" $$f(t)=sum_{k=0}^infty a_kt^ktag{1}$$ and carefully analyzing the consequences of arbitrary choices made during the first steps. Plugging this "Ansatz" into the equation
$$2f(t)f'(t)=f(2t)tag{2}$$ we obtain
$$2sum_{jgeq0, >kgeq0}(j+1)a_{j+1}a_k t^{j+k}-sum_{rgeq0}2^r a_r t^requiv0 .$$
Collecting terms belonging to $t^r$ leads to the equations
$$2sum_{j+k=r}(j+1)a_{j+1}a_k-2^r a_r=0qquad(rgeq0) .$$
The first two equations are
$$
a_0(2a_1-1)=0>,qquad
2a_0a_2=a_1(1-a_1) .$$
The first equation enforces (i) $a_0=0$ or (ii) $a_1={1over2}$.
In case (i) the second equation enforces (i.i) $a_1=0$ or (i.ii) $a_1=1$. In case (i.i) it will later turn out that all $a_k=0$. The resulting $f$ solves $(2)$, but not the original equation in the question. In case (i.ii) it will later turn out that all $a_k$ with even $k$ are $=0$, and that $a_3:=c$ is arbitrary. The remaining $a_k$ with odd $k$ are then determined.
In case (ii) we may choose $a_0:=c$ arbitarily, and it will then turn out that all $a_k$ are uniquely determined.
It comes as a surprise that in all cases we can recognize the found coefficients as coefficients of well known functions, and it is then easy to verify that these functions indeed solve the equation $(2)$. In this way one obtains the solutions $$f_0(t)=t, quad f_1(t):=sin t, quad f_2(t)=sinh t,quad f_3(t)=e^{t/2} ,$$ whereby in each case the parameter $c$ has been suppressed here: It follows from the special form of the given functional equation that when ${cal G}(f)$ is the graph of a solution $f$ then stretching this graph from $(0,0)$ by a factor $R>0$ results in the graph of a solution as well.
But it is still possible that someone will come up with other solutions which are $C^infty$ at $t=0$, but not analytic there.
edited 2 days ago
answered Nov 15 at 21:20
Christian Blatter
170k7111324
170k7111324
I am not able to show using the power series ansatz that the three solutions are t,sin(t) and sinh(t). Could you please show some steps? Thank you.
– Tejas P
Nov 15 at 21:29
add a comment |
I am not able to show using the power series ansatz that the three solutions are t,sin(t) and sinh(t). Could you please show some steps? Thank you.
– Tejas P
Nov 15 at 21:29
I am not able to show using the power series ansatz that the three solutions are t,sin(t) and sinh(t). Could you please show some steps? Thank you.
– Tejas P
Nov 15 at 21:29
I am not able to show using the power series ansatz that the three solutions are t,sin(t) and sinh(t). Could you please show some steps? Thank you.
– Tejas P
Nov 15 at 21:29
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999456%2fpower-series-solution-to-a-differential-equation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Related Math.SE question: math.stackexchange.com/q/488535/11127 Crossposted from physics.stackexchange.com/q/441052/2451
– Qmechanic
2 days ago