Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.
W3Counter Web Stats

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public β tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

206 submissions , 164 unreviewed
5,106 questions , 2,251 unanswered
5,414 answers , 23,081 comments
1,470 users with positive rep
822 active unimported users
More ...

  Solving ODE with negative expansion power series

+ 3 like - 0 dislike
3125 views

Since on Mathematics stackexchange I didn't get an answer, I'll try it here, since people here are more familiar with this topic (general relativity related).

I am reading a dissertation of Porfyriadis "Boundary Conditions, Effective Action, and Virasoro Algebra for AdS3", and I am trying to solve a system of DE to get the appropriate diffeomorfism (page 31 onward).

I am trying to solve a system of ODE, such that each DE is equal to some degree of term that I'm expanding to. For instance, one DE is this:

ξrrgrr+2gtttξt=O(r)

which you get by taking a Lie derivative of background metric and setting it equal to certain O(rn) terms.

gij are given, from metric ofc. I need to assume that the solution (since I'm looking for components of ξμ( which is a vector with components ξt,ξr,ξϕ) is given with power series of the form:

ξμ=nξμn(t,ϕ)rn,

and this is to be seen as expansion around 1/r (expansion around r=).

Now when I plug this in the ODE I get this

2l2nξrnrn+1+2nξtn,trn+2l2nξtn,trn+2=O(r), where

ξμn,i

is the derivative with the respect to i-th component.

What troubles me is, how to expand this? Do I set n=0,-1,-2,... until my O(r) terms cancel each other out? Or?

I'm kinda stuck, at this seemingly easy point.

In the thesis he gets 6 equations with coefficients, first one should be:

ξrn1+l2ξtn,t+ξtn2,t=0, n2,

But I am not getting this. What am I doing wrong?


EDIT: For further clarity: The metric is that of AdS3 given with line element:

ds2=(1+r2l2)dt2+(1+r2l2)1dr2+r2dϕ2,

and the differential equations in question are given by solving Lξgμν=O(rn), where O(rn) are the fall off conditions. In the dissertation, he took the deviation of nonzero components of the metric to be subleading, that is:

Lξgtt=O(r) Lξgrr=O(r3) Lξgϕϕ=O(r), while others are O(1).

Solving Lie derivative gives me 6 equations, which I should solve by plugging in the above ansatz (ξμ=nξμn(t,ϕ)rn), but this is the part I get stuck.

ADDENDUM:

I was looking at other components, and have noticed that I have grr factor with some of them. That term in metric is:

grr=(1+r2l2)1

Now, is it legitimate thing to expand this around r= so that I can put r terms inside the sums (assumed solution)?

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user dingo_d
asked Aug 25, 2013 in Mathematics by dingo_d (110 points) [ no revision ]
retagged Jun 9, 2014
This probably does belong on math.sx, and I would not think it's on topic here. It's not clear what equation you're starting from (e.g. you don't provide a definition for l), so that may be hindering your math.sx question.

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user episanty
I think, I'm not exactly sure, that l is just a parameter. I asked here because physicists know more on the topic of AdS3.

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user dingo_d
That may be, but the content of your question is all mathematics. And again, without stating your original ODE this is very hard to answer - as is any question of the form "how do I derive this equation $ ... $?" that does not provide the necessary premises.

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user episanty
You could see i f i t gets answers on Math Overflow.

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user dimensio1n0
Didn't even know of Math Overflow :\ So I should post there? I'll give it a try...

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user dingo_d
@dingo_d Well, Math Overflow is generally only for research-level math. If your question is just needing an application of well-known ODE theory, it belongs on Math Stackexchange. If it calls upon physical principles in some meaningful way (beyond just "this came up while doing physics"), then it is okay here. But I doubt it will be particularly well-received on Math Overflow. In general, though, if you feel the question should be moved, you can ping a moderator and request they migrate it for you, to avoid cross-site duplication.

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user Chris White
@DavidZ considering that that question does not have an answer and this one does, it would seem more appropriate to leave this one open and close the other one instead.

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user Antonio Vargas
@AntonioVargas sure, perhaps, but I trust that the mods can make that decision. ;-)

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user David Z
Well, yes, in the end, the question is just about ODEs, so maybe it won't be appropriate on MO. '

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user dimensio1n0
There is a meta question regarding the closing of this question here. Basically, the argument is that this should not be a duplicate as it has an answer, while the "original" question does not. So the duplicate chain does not make sense!

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user user1729 PhD

1 Answer

+ 2 like - 0 dislike

I didn't really read the question (at least the stuff about metrics or whatever), but I will write what I think is the answer anyway. You are doing an expansion around r=. You have 2l2nξrnrn+1+2nξtn,trn+2l2nξtn,trn+2=O(r).

This equation says that as r, the LHS, which is 2l2nξrnrn+1+2nξtn,trn+2l2nξtn,trn+2 only goes to as fast as r to the first power. This means that the higher powers of r from the three terms cancel each other.

Well how can they cancel each other? Lets look at the r2 piece. The first term gives a contribution 2l2ξr1r2. The second term gives a contribution 2ξt2,tr2, and the third term gives a contribution 2l2ξt0,tr2. The sum of these contributions is 2l2ξr1r2+2ξt2,tr2+2l2ξt0,tr2=(2l2ξr1r2+2ξt2,t+2l2ξt0,t)r2.

For this to be zero, we must have 2l2ξr1+2ξt2,t+2l2ξt0,t=0,
or rearranging, ξr1+l2ξt2,t+ξt0,t=0.

If that is good let's move on to the general n2. The first term gives a contribution 2l2ξrn1rn. The second term gives a contribution 2ξtn,trn, and the third term gives a contribution 2l2ξtn2,trn. The sum of these contributions is 2l2ξrn1rn+2ξtn,trn+2l2ξtn2,trn=(2l2ξrn1r2+2ξtn,t+2l2ξtn2,t)rn.

For this to be zero, we must have 2l2ξrn1+2ξtn,t+2l2ξtn2,t=0,
or rearranging, ξrn1+l2ξtn,t+ξtn2,t=0.
The n where this needed to be zero were the n for higher than linear terms, i.e., n2.

This is the equation that you said you didn't understand how they got it. I hope this clears up part of the confusion.

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user NowIGetToLearnWhatAHeadIs
answered Aug 28, 2013 by NowIGetToLearnWhatAHeadIs (80 points) [ no revision ]
Finally someone who know how to explain it!!!!! THANK YOU SO MUCH!! I'll try to set up a bounty and give it to you, you deserve it :)

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user dingo_d
Oh and, while I'm at it, do you have any material on this kind of solving method? If it has any special name so that I can google it or sth like it? I'd be really grateful, since I looked all over but had no luck...

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user dingo_d
I don't know of a name for it besides just using power series. There probably is a name. The only other time I remember seeing something quite like this is solving the quantum harmonic oscillator using power series. Here is a link:Quantum Harmonic Oscillator. Maybe someone else will be more helpful.

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user NowIGetToLearnWhatAHeadIs
I'll look it up, maybe I find a proper name for this :D I'll give you bounty in an hour (at least that's what M.SE says :D)

This post imported from StackExchange Mathematics at 2014-06-09 18:51 (UCT), posted by SE-user dingo_d

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol in the following word:
pysicsOverfow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...