How can I extend the method for solving differential equations to systems?

  • Context: Graduate 
  • Thread starter Thread starter 1effect
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the challenges of solving a system of differential equations, specifically relating to the relativistic equations of motion for a charged particle in a constant electric and magnetic field. Participants explore potential methods for finding solutions, including the use of perturbation theory and symbolic solutions.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant inquires about the solvability of a system of differential equations and seeks assistance in solving it.
  • Another participant suggests that analytical solutions for the full nonlinear system have not been found and proposes using perturbation theory as a potential method for obtaining results.
  • A participant mentions making progress by transforming a system of first-order equations into a second-order equation, asserting that this transformation is generally possible.
  • Concerns are raised regarding the sharing of files in .doc format, with multiple participants expressing reluctance to download such files due to security concerns.
  • There is a discussion about the distinction between symbolic and analytic solutions, with participants debating the definitions and implications of these terms in the context of the equations being discussed.
  • One participant expresses skepticism about the progress made, suggesting that the transformation to a second-order equation may not lead to a meaningful solution.
  • Another participant acknowledges errors in the derivatives presented but maintains that the equations do not appear solvable in the desired manner.
  • There is a reiteration of the suggestion to apply perturbation theory, with one participant expressing interest in the potential results of such an approach.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the solvability of the system of differential equations. Multiple competing views and methods are presented, and the discussion remains unresolved regarding the best approach to finding a solution.

Contextual Notes

Participants note the complexity of the equations and the potential for errors in the derivatives. The discussion highlights the challenges of defining terms like "symbolic" and "analytic" in the context of differential equations, which may lead to further confusion.

1effect
Messages
321
Reaction score
0
I have a system of differential equatiuons (see http://www.savefile.com/files/1458343 ). How can I solve it? Is it even solvable? Thank you
 
Last edited by a moderator:
Physics news on Phys.org
Did you notice that you can attach .doc files to your posts at physicsforums?

Even better, you could learn LaTeX which is the main way we communicate formulas on these forums.

In this case, you even could have stated the problem in words:

"Is it possible to solve the relativistic equations of motion for a charged particle in a constant electric and magnetic field?"

In this case no one has found analytical solutions to the full nonlinear system. Since we know the exact solution for the case [itex]\gamma = 1[/itex] the best hope for analytical results in your case is to use perturbation theory together with the first or second term of the power series expansion for gamma. Maybe someone has done this before.
 
Last edited:
Crosson said:
Did you notice that you can attach .doc files to your posts at physicsforums?

Even better, you could learn LaTeX which is the main way we communicate formulas on these forums.

I know how to use LaTex, I just preferred to use an editable file that people could write into.

In this case, you even could have stated the problem in words:

"Is it possible to solve the relativistic equations of motion for a charged particle in a constant electric and magnetic field?"

In this case no one has found analytical solutions to the full nonlinear system. Since we know the exact solution for the case [itex]\gamma = 1[/itex] the best hope for analytical results in your case is to use perturbation theory together with the first or second term of the power series expansion for gamma. Maybe someone has done this before.
I made some progress, see http://www.savefile.com/files/1458817 . It seems that a symbolic (not analytic) solution can be found. Analytic means something else.
 
Last edited by a moderator:
Most people on these boards are not going to download a file in .doc format like that. It's just a virus waiting to happen.
 
Last edited:
nicksauce said:
Most people on these boards are going to download a file in .doc format like that. It's just a virus waiting to happen.

Yup. I took one look at your first post several hours ago, and opted out. :frown:
 
nicksauce said:
Most people on these boards are going to download a file in .doc format like that. It's just a virus waiting to happen.

Sorry, the file is getting very long and complicated, there is no virus , you can scan it with any of the virus protection programs. I am not here to play games, I am trying to get help in solving a tough problem.
 
1effect said:
I know how to use LaTex, I just preferred to use an editable file that people could write into.

Alright, although I still don't see why you don't attach it to your post instead of linking to an external site.

I made some progress, see http://www.savefile.com/files/1458817 .

What you did was transform a system of 2 first order equations into a single second order equation. This is always possible with any system of [itex]n[/itex] differential-algebraic equations of[itex]p^{th}[/itex]-order (for n > 1): by differentiating you can transform it into a system of [itex]n-1[/itex] differential-algebraic equations of order [itex]p+1[/itex].

Since it is possible to do this in general, I am not surprised that you did it in a particular case. Although I am not sure from your document that you realize that the final equation will be second order. When you write:

[tex]\frac{d v_y}{dt} = f(v_x,\frac{d v_x}{dt})[/tex]

I am sure you mean to differentiate the expression immediately above it, although you do not say this. If I am not mistaken and you did in fact take a time derivative, then wouldn't it be more appropriate to write:

[tex]\frac{d v_y}{dt} = g(v_x,\frac{d v_x}{dt},\frac{d^2 v_x}{dt^2})[/tex]

Since differentiating will in fact cause the appearance of various [itex]\frac{d^2 v_x}{dt^2})[/itex] terms by the chain rule. Here is your expression:

[tex] v_y = \sqrt{c^2-\text{vx}(t)^2+\sqrt{\left(c^2-\text{vx}(t)^2\right)^2-\frac{4 c^2 m^2 \text{vx}'(t)^2}{B^2 q^2}}}[/tex]

This is time derivative of that which you do not show:

[tex] \frac{\frac{-\frac{8 c^2 \text{vx}'(t) \text{vx}''(t) m^2}{B^2 q^2}-4 \text{vx}(t) \left(c^2-\text{vx}(t)^2\right) \text{vx}'(t)}{2<br /> \sqrt{\left(c^2-\text{vx}(t)^2\right)^2-\frac{4 c^2 m^2 \text{vx}'(t)^2}{B^2 q^2}}}-2 \text{vx}(t) \text{vx}'(t)}{2<br /> \sqrt{c^2-\text{vx}(t)^2+\sqrt{\left(c^2-\text{vx}(t)^2\right)^2-\frac{4 c^2 m^2 \text{vx}'(t)^2}{B^2 q^2}}}}[/tex]

So what we have now is the second-order equation involving only one unknown function [itex]v_x[/itex] (where I have no substituted your expression for [itex]\gamma[/itex], for the sake of brevity):

[tex] \text{}\leftB \text{vx}(t) q-\frac{\text{E} q}{\gamma ^2}+\frac{m \left(\frac{-\frac{8 c^2 \text{vx}'(t)<br /> \text{vx}''(t) m^2}{B^2 q^2}-4 \text{vx}(t) \left(c^2-\text{vx}(t)^2\right) \text{vx}'(t)}{2<br /> \sqrt{\left(c^2-\text{vx}(t)^2\right)^2-\frac{4 c^2 m^2 \text{vx}'(t)^2}{B^2 q^2}}}-2 \text{vx}(t) \text{vx}'(t)\right)<br /> \gamma }{2 \sqrt{c^2-\text{vx}(t)^2+\sqrt{\left(c^2-\text{vx}(t)^2\right)^2-\frac{4 c^2 m^2 \text{vx}'(t)^2}{B^2<br /> q^2}}}}=0\right[/tex]

Personally, I consider this to be a regress rather then a progress. It can always be done, but rarely would you want to. We are certainly no closer to finding an exact solution in terms of known functions.

It seems that a symbolic (not analytic) solution can be found. Analytic means something else.

A symbolic solution? In that case how about y = f(t). Or did you want to be even more pedantic and say "a solution that can be represented in terms of arithmetic operations, root extractions, trigonometric/exponential functions, or other cataloged special functions." The term analytic is often used to describe solutions that can be represented in this way, and in this context the meaning was clear. Did you really think I was talking about functions defined on a complex domain?

In any case, I stand by my original statement that this equation cannot be solved "in the way that you are looking for." Did you consider my advice to apply perturbation theory? I am sure the results would be interesting.
 
Last edited by a moderator:
Crosson said:
[tex] \frac{\frac{-\frac{8 c^2 \text{vx}'(t) \text{vx}''(t) m^2}{B^2 q^2}-4 \text{vx}(t) \left(c^2-\text{vx}(t)^2\right) \text{vx}'(t)}{2<br /> \sqrt{\left(c^2-\text{vx}(t)^2\right)^2-\frac{4 c^2 m^2 \text{vx}'(t)^2}{B^2 q^2}}}-2 \text{vx}(t) \text{vx}'(t)}{2<br /> \sqrt{c^2-\text{vx}(t)^2+\sqrt{\left(c^2-\text{vx}(t)^2\right)^2-\frac{4 c^2 m^2 \text{vx}'(t)^2}{B^2 q^2}}}}[/tex]

Thank you, there is a small error in your derivative but I get the gist. It doesn't look promising.

So what we have now is the second-order equation involving only one unknown function [itex]v_x[/itex] (where I have no substituted your expression for [itex]\gamma[/itex], for the sake of brevity):

[tex] \text{}\leftB \text{vx}(t) q-\frac{\text{E} q}{\gamma ^2}+\frac{m \left(\frac{-\frac{8 c^2 \text{vx}'(t)<br /> \text{vx}''(t) m^2}{B^2 q^2}-4 \text{vx}(t) \left(c^2-\text{vx}(t)^2\right) \text{vx}'(t)}{2<br /> \sqrt{\left(c^2-\text{vx}(t)^2\right)^2-\frac{4 c^2 m^2 \text{vx}'(t)^2}{B^2 q^2}}}-2 \text{vx}(t) \text{vx}'(t)\right)<br /> \gamma }{2 \sqrt{c^2-\text{vx}(t)^2+\sqrt{\left(c^2-\text{vx}(t)^2\right)^2-\frac{4 c^2 m^2 \text{vx}'(t)^2}{B^2<br /> q^2}}}}=0\right[/tex]

This one has a few small errors as well but it doesn't matter. It doesn't appear solvable in terms of finding a symbolic solution.



Or did you want to be even more pedantic and say "a solution that can be represented in terms of arithmetic operations, root extractions, trigonometric/exponential functions, or other cataloged special functions."

This is what symbolic means. Analytic means that the function is continuous with continuous derivatives. I didn't mean to be pedantic, I meant to convey more precisely what I was looking for.

In any case, I stand by my original statement that this equation cannot be solved "in the way that you are looking for." Did you consider my advice to apply perturbation theory? I am sure the results would be interesting.

I am not familiar with the term, do you mean using Taylor expansions for [tex]v_x(t)[/tex] and [tex]v_y(t)[/tex]? Can you take me thru the first steps?
 
1effect said:
I am not familiar with the term, do you mean using Taylor expansions for [tex]v_x(t)[/tex] and [tex]v_y(t)[/tex]? Can you take me thru the first steps?

This is a good introduction to the method:

http://www.sm.luth.se/~johanb/applmath/chap2en/index.html

I might try to work it out another time.

Thank you, there is a small error in your derivative but I get the gist.

I neglected to mention that I took only the positive branch of your multi-valued solution, being concerned about murky existence and uniqueness issues.

This is what symbolic means. Analytic means that the function is continuous with continuous derivatives.

If I say the solution is an analytic function then I mean it's [itex]C^\infty[/itex] but if I say that the solution is analytic than I only means that it has the potential to be analyzed (natural language meaning, since there is no formal mathematical definition for the concept we are talking about).

Which one is a better natural language word to describe "by-hand" solutions, in contrast with the solutions which are only guaranteed by existence theorems?

Analytic: Dividing into elemental parts or basic principles, i.e. has the potential to be analyzed

Symbolic: Of, relating to, or expressed by means of symbols or a symbol.

It seems to me that any time we know that there is a solution we can express it symbolically as [itex]y = f(t)[/itex] but what we are looking for in this setting is an analytic solution i.e. one that is amenable to further analysis.
 
Last edited by a moderator:
  • #10
Crosson said:
This is a good introduction to the method:

http://www.sm.luth.se/~johanb/applmath/chap2en/index.html

I might try to work it out another time.

Thank you.
The immediate question that arises is how to extend the method to systems of equations. The link shows only the application to single equations. Even more worrisome, by the author's own admission, the approach doesn't always work. This seems to evolve into a very tough problem.
 
Last edited by a moderator:

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
10
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K