Separable first order ODE involving tangent

Click For Summary
The discussion focuses on solving a separable first-order ordinary differential equation (ODE) involving the tangent function. It establishes that solutions exist at points where x equals kπ, while also noting that x cannot equal nπ/2 for odd n, as tan x is undefined there. By rearranging the equation and integrating, the relationship |sin x| = Ae^(t^2/2) is derived, with the initial condition determining A as 1/2. The analysis concludes that the sign of sin x aligns with A, allowing for the removal of absolute values. The final solution is expressed as sin x = (1/2)e^(t^2/2), confirming the behavior of sin x based on the initial condition.
psie
Messages
315
Reaction score
40
Homework Statement
Consider the DE ##\frac{\mathrm{d}x}{\mathrm{d}t}=t\tan x## with initial value ##x(0)=\frac\pi{6}##.
1. Find the solution.
2. Describe the region in which the solutions are defined.
Relevant Equations
A separable first order ODE is of the form ##x'=g(x)h(t)##.
By inspection, we see that ##x=k\pi## is a solution for ##k\in\mathbb Z##. Moreover, the equation implicitly assumes ##x\neq n\pi/2## for odd ##n\in\mathbb Z##, since ##\tan x## isn't defined there. So suppose ##x\neq k\pi##, i.e. ##\tan x\neq 0##, then rearranging and writing ##\tan x=\frac{\sin x}{\cos x}## we have $$\frac{x'\cos x}{\sin x}=\frac{\mathrm{d}}{\mathrm{d}t}\log(|\sin x|)=t.$$ Integrating and exponentiating, we obtain, $$|\sin x|=Ae^{\frac{t^2}{2}}$$ The initial condition implies ##A=1/2##. Now, how do I get rid of the absolute values here? Does it somehow follow from the initial condition that ##\sin x## has to be positive?
 
Physics news on Phys.org
\sin x = \pm A e^{t^2/2}
where A >0. There are two cases of x>0 and x<0 during the time after. The initial condition says ##x(0)=\pi/6 >0 ## Our solution is the former one.
\sin x = \frac{e^{t^2/2}}{2}
 
I think from (\log |\sin x|)&#039; = t the next step is <br /> \log |\sin x| = \log |A| + \tfrac12 t^2 and hence <br /> |\sin x| = |A|e^{\frac12 t^2}. It follows from this that \sin x and A have the same sign, so we can drop the absolute value signs.
 
First, I tried to show that ##f_n## converges uniformly on ##[0,2\pi]##, which is true since ##f_n \rightarrow 0## for ##n \rightarrow \infty## and ##\sigma_n=\mathrm{sup}\left| \frac{\sin\left(\frac{n^2}{n+\frac 15}x\right)}{n^{x^2-3x+3}} \right| \leq \frac{1}{|n^{x^2-3x+3}|} \leq \frac{1}{n^{\frac 34}}\rightarrow 0##. I can't use neither Leibnitz's test nor Abel's test. For Dirichlet's test I would need to show, that ##\sin\left(\frac{n^2}{n+\frac 15}x \right)## has partialy bounded sums...