Relationship between two solutions

  • Context: Graduate 
  • Thread starter Thread starter Milligram
  • Start date Start date
  • Tags Tags
    Relationship
Click For Summary
SUMMARY

The discussion centers on the relationship between two functions, f and g, defined over the interval [0, t], where t is a large real number. Both functions start at 1, with f'(x) = e^{-f(x)} and g'(x) = (1 - g(x)/t^2)^{t^2}. The key question posed is whether the initial conditions and the asymptotic behavior of g'(x) can be used to establish that f(x) is asymptotically equivalent to g(x) for all x in [0, t]. A critical point raised is the dependency of g on both x and t, which is necessary for the analysis.

PREREQUISITES
  • Understanding of differential equations, specifically first-order equations.
  • Familiarity with asymptotic analysis and notation.
  • Knowledge of exponential functions and their derivatives.
  • Concept of limits and behavior of functions as variables approach infinity.
NEXT STEPS
  • Study asymptotic equivalence in differential equations.
  • Learn about the method of perturbation for analyzing differential equations.
  • Explore the implications of initial conditions on the solutions of differential equations.
  • Investigate the behavior of functions under large parameter limits, particularly in the context of exponential decay.
USEFUL FOR

Mathematicians, physicists, and engineers interested in differential equations and asymptotic analysis, particularly those exploring relationships between functions in applied mathematics.

Milligram
Messages
2
Reaction score
0
Let [itex]t \in \mathbb{R}[/itex] be large.
Let [itex]f[/itex] be a function over [itex][0,t][/itex] satisfying [itex]f(0) = 1[/itex] and [itex]f'(x) = e^{-f(x)}[/itex] for all [itex]x[/itex].
Let [itex]g[/itex] be a function over [itex][0,t][/itex] satisfying [itex]g(0) = 1[/itex] and [itex]g'(x) = (1 - g(x)/t^2)^{t^2}[/itex] for all [itex]x[/itex]. Note that [itex]g'(x) \sim e^{-g(x)}[/itex].

Without solving the two differential equations and finding out [itex]f[/itex] and [itex]g[/itex] (which can be done at least approximately), can the fact that [itex]f(0)=g(0)=1[/itex] and [itex]g'(x) \sim e^{-g(x)}[/itex] be used to show that [itex]f(x) \sim g(x)[/itex] for all [itex]x[/itex] in [itex][0,t][/itex] ?
 
Last edited:
Physics news on Phys.org
Milligram said:
Let [itex]t \in \mathbb{R}[/itex] be large.
Let [itex]f[/itex] be a function over [itex][0,t][/itex] satisfying [itex]f(0) = 1[/itex] and [itex]f'(x) = e^{-f(x)}[/itex] for all [itex]x[/itex].
Let [itex]g[/itex] be a function over [itex][0,t][/itex] satisfying [itex]g(0) = 1[/itex] and [itex]g'(x) = (1 - g(x)/t^2)^{t^2}[/itex] for all [itex]x[/itex].
This makes no sense. If g is a function of x only, its derivative cannot depend upon both x and t. Did you mean [itex]g'(x) = (1 - g(x)/x^2)^{x^2}[/itex]?

Note that [itex]g'(x) \sim e^{-g(x)}[/itex].

Without solving the two differential equations and finding out [itex]f[/itex] and [itex]g[/itex] (which can be done at least approximately), can the fact that [itex]f(0)=g(0)=1[/itex] and [itex]g'(x) \sim e^{-g(x)}[/itex] be used to show that [itex]f(x) \sim g(x)[/itex] for all [itex]x[/itex] in [itex][0,t][/itex] ?
 
HallsofIvy, I meant for [itex]g(x)[/itex] to depend on [itex]x[/itex] and [itex]t[/itex]. You should think of [itex]t[/itex] as being a large constant, say, [itex]t=10^{10}[/itex].
 

Similar threads

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