Find Real Valued Functions: g(x)^2=Int+(1990)

  • Context: MHB 
  • Thread starter Thread starter anemone
  • Start date Start date
  • Tags Tags
    Functions
Click For Summary
SUMMARY

The discussion centers on finding real-valued continuously differentiable functions \( g \) that satisfy the equation \( (g(x))^2 = \int_{0}^{x} [(g(t))^2 + (g'(t))^2]\,dt + 1990 \). The analysis leads to the conclusion that \( g(x) = \pm \sqrt{1990} e^x \) is a solution. However, further examination reveals that substituting this solution back into the original equation results in a contradiction, indicating that no such function \( g(x) \) exists that satisfies the equation for all \( x \).

PREREQUISITES
  • Understanding of differential equations, specifically first-order ordinary differential equations (ODEs).
  • Familiarity with integral calculus and properties of definite integrals.
  • Knowledge of continuous differentiability and its implications in function behavior.
  • Basic concepts of exponential functions and their derivatives.
NEXT STEPS
  • Study the properties of continuously differentiable functions and their applications in differential equations.
  • Explore the method of integrating factors for solving first-order ODEs.
  • Investigate the implications of contradictions in mathematical proofs and their significance in function existence.
  • Learn about the relationship between integrals and differential equations, particularly in the context of functional equations.
USEFUL FOR

Mathematicians, students studying advanced calculus, and anyone interested in the analysis of differential equations and functional equations.

anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Find all real valued continuously differentiable functions $g$ on the real line such that for all $x$,

$\displaystyle (g(x))^2=\int_{0}^{x} [(g(t))^2+(g'(t))^2]\,dt+1990$
 
Physics news on Phys.org
anemone said:
Find all real valued continuously differentiable functions $g$ on the real line such that for all $x$,

$\displaystyle (g(x))^2=\int_{0}^{x} [(g(t))^2+(g'(t))^2]\,dt+1990$

$$\displaystyle (g(x))^2=\int_{0}^{x} [(g(t))^2+(g'(t))^2]\,dt+1990 \Rightarrow \left ((g(x))^2 \right )'=\left ( \int_{0}^{x} [(g(t))^2+(g'(t))^2]\,dt+1990 \right )' \Rightarrow \\ 2g(x)g'(x)=(g(x))^2+(g'(x))^2 \Rightarrow (g(x))^2-2g(x)g'(x)+(g'(x))^2=0 \Rightarrow \\ (g(x)-g'(x))^2=0 \Rightarrow g'(x)=g(x) \Rightarrow g(x)=ce^x$$

$\displaystyle (g(x))^2=\int_{0}^{x} [(g(t))^2+(g'(t))^2]\,dt+1990$

for $x=0$ we get:

$\displaystyle (g(0))^2=\int_{0}^{0} [(g(t))^2+(g'(t))^2]\,dt+1990=1990 \Rightarrow g(0)= \pm \sqrt{1990}$$\displaystyle{g(0)=ce^0 \Rightarrow c=\pm \sqrt{1990}}$

Therefore, $$g(x)=\pm \sqrt{1990}e^x$$
 
Last edited by a moderator:
anemone said:
Find all real valued continuously differentiable functions $g$ on the real line such that for all $x$,

$\displaystyle (g(x))^2=\int_{0}^{x} [(g(t))^2+(g'(t))^2]\,dt+1990$

[sp]Deriving both terms You obtain...

$\displaystyle 2\ g\ g^{\ '} = g^{2} + g^{\ '\ 2} \implies (g - g^{\ '})^{2} = 0 \implies g^{\ '} = g\ (1)$

... and (1) is an ODE the solution of which is $\displaystyle g(x)= c\ e^{x}$. But inserting that is the original equation You obtain the false identity $\displaystyle c^{2}\ e^{2 x} = c^{2}\ e^{2 x} + 1990$, so that it exists no g(x) satisfying the original equation...[/sp]

Kind regards

$\chi$ $\sigma$
 
chisigma said:
[sp]Deriving both terms You obtain...

$\displaystyle 2\ g\ g^{\ '} = g^{2} + g^{\ '\ 2} \implies (g - g^{\ '})^{2} = 0 \implies g^{\ '} = g\ (1)$

... and (1) is an ODE the solution of which is $\displaystyle g(x)= c\ e^{x}$. But inserting that is the original equation You obtain the false identity $\displaystyle c^{2}\ e^{2 x} = c^{2}\ e^{2 x} + 1990$, so that it exists no g(x) satisfying the original equation...[/sp]

Kind regards

$\chi$ $\sigma$

Inserting $g(x)= c\ e^{x}$ in the original equation we get:

$$\displaystyle (g(x))^2=\int_{0}^{x} [(g(t))^2+(g'(t))^2]\,dt+1990 \Rightarrow c^2 e^{2x}=\int_{0}^{x} [c^2e^{2t}+c^2e^{2t}]\,dt+1990 \\ \Rightarrow c^2 e^{2x}=\int_{0}^{x} [2c^2e^{2t}]\,dt+1990 \Rightarrow c^2 e^{2x}=c^2e^{2x}-c^2+1990 \Rightarrow c^2=1990 \Rightarrow c=\pm \sqrt{1990}$$

Therefore, it exists a $g(x)$ satisfying the original equaltion..
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
980