Consider the first order differential equation \begin{align} \frac{\text{d}y}{\text{d}x}=\frac{\text{d}f(x)}{\text{d}x}y+g(x) \tag{1} \end{align} for some arbitrary functions $f$ and $g$. This DE is invariant under the one parameter transformation group \begin{align} x_1=x+\mathcal{O}(\varepsilon^2),~~~~y_1=y+\varepsilon e^{f(x)}+\mathcal{O}(\varepsilon^2). \tag{2} \end{align} To solve (1) I am trying to use (2) to obtain the canonical coordinates $(u(x,y),v(x,y))$ which will allow me to write (1) in the simpler form \begin{align} \frac{\text{d}v}{\text{d}u}=G(u) \end{align} for some function $G(u)$. By demanding transnational invariance in $v$, the quasi-linear equations satisfied by the canonical coordinates are \begin{align} X\frac{\partial u}{\partial x}+Y\frac{\partial u}{\partial y}=0 ~~~~\text{ and }~~~~ X\frac{\partial v}{\partial x}+Y\frac{\partial v}{\partial y}=1. \end{align} From (2) we have that $X=0$ and $Y=e^{f(x)}$; \begin{align} e^{f(x)}\frac{\partial u}{\partial y}=0,~~~~~~~e^{f(x)}\frac{\partial v}{\partial y}=1 \tag{3a, 3b}. \end{align} Equation (3a) says that $u=h(x)$ for some arbitrary function $h$ and equation (3b) says that $v=ye^{-f(x)}+k(x)$ for some arbitrary function $k$. If I now try to write (1) in terms of the canonical coordinates I get \begin{align} \frac{\text{d}v}{\text{d}u}=\frac{\text{d}v/\text{d}x}{\text{d}u/\text{d}x}&=\frac{\frac{\text{d}y}{\text{d}x}e^{-f}-y \frac{\text{d}f}{\text{d}x}e^{-f}+\frac{\text{d}k}{\text{d}x}}{\frac{\text{d}h}{\text{d}x}}\\[6pt] &=\frac{\bigg(\frac{\text{d}f}{\text{d}x}y+g\bigg)e^{-f}-y \frac{\text{d}f}{\text{d}x}e^{-f}+\frac{\text{d}k}{\text{d}x}}{\frac{\text{d}h}{\text{d}x}}\\[6pt] &=\frac{ge^{-f}+\frac{\text{d}k}{\text{d}x}}{\frac{\text{d}h}{\text{d}x}} \tag{4}. \end{align} Now I am not sure how I can write (4) as $\text{d}v/\text{d}u=G(h(x))$ for some function $G$. I think I am probably allowed to choose $k(x)=0$, but I still don't see how to get the results I am looking for.
2026-03-30 03:20:23.1774840823
Canonical coordinates of first order differential equation.
286 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in ORDINARY-DIFFERENTIAL-EQUATIONS
- The Runge-Kutta method for a system of equations
- Analytical solution of a nonlinear ordinary differential equation
- Stability of system of ordinary nonlinear differential equations
- Maximal interval of existence of the IVP
- Power series solution of $y''+e^xy' - y=0$
- Change of variables in a differential equation
- Dimension of solution space of homogeneous differential equation, proof
- Solve the initial value problem $x^2y'+y(x-y)=0$
- Stability of system of parameters $\kappa, \lambda$ when there is a zero eigenvalue
- Derive an equation with Faraday's law
Related Questions in PARTIAL-DIFFERENTIAL-EQUATIONS
- PDE Separation of Variables Generality
- Partial Derivative vs Total Derivative: Function depending Implicitly and Explicitly on Variable
- Transition from theory of PDEs to applied analysis and industrial problems and models with PDEs
- Harmonic Functions are Analytic Evan’s Proof
- If $A$ generates the $C_0$-semigroup $\{T_t;t\ge0\}$, then $Au=f \Rightarrow u=-\int_0^\infty T_t f dt$?
- Regular surfaces with boundary and $C^1$ domains
- How might we express a second order PDE as a system of first order PDE's?
- Inhomogeneous biharmonic equation on $\mathbb{R}^d$
- PDE: Determine the region above the $x$-axis for which there is a classical solution.
- Division in differential equations when the dividing function is equal to $0$
Related Questions in LIE-GROUPS
- Best book to study Lie group theory
- Holonomy bundle is a covering space
- homomorphism between unitary groups
- On uniparametric subgroups of a Lie group
- Is it true that if a Lie group act trivially on an open subset of a manifold the action of the group is trivial (on the whole manifold)?
- Find non-zero real numbers $a,b,c,d$ such that $a^2+c^2=b^2+d^2$ and $ab+cd=0$.
- $SU(2)$ adjoint and fundamental transformations
- A finite group G acts freely on a simply connected manifold M
- $SU(3)$ irreps decomposition in subgroup irreps
- Tensors transformations under $so(4)$
Related Questions in INFINITESIMALS
- Prove that a function have no maximum
- Distance of closest neighbor points in a vectorspace ${\mathbb R}^n$ (infinitesimal or zero)?
- What does the p-harmonic series converge to when p = 1 + ε?
- Using annother integral to find da for use in an iterated integrand.
- If $dx$ is just syntax and not an infinitesimal then why do we apply operations to it?
- Calculate the limit $L=\lim_{x\to 0^+}\left(2\sin\left(\sqrt{x}\right)+\sqrt{x}\sin\left(\frac{1}{x}\right)\right)^x$.
- How can skew-symmetric matrices be thought of as infinitesimal rotations?
- Attempting to express infinitesimals using Arabic numerals
- Is $1-\cos^2(x)$ a greater infinitesimal than $\sin^3(x)$ as $\to 0+$?
- Didn't understand a step in Einstein's paper on special relativity
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
I have not checked your whole procedure, but you would do the following, by assuming the most simple forms for $h$ and $k$:
$$u=h(x)=x \implies x(u,v)=u$$ $$v=y\exp(-f(x))+k(x)=y\exp(-f(x)) \implies y(u,v)=v\exp(f(u)).$$
Now, determine:
$$\dfrac{dy}{dx}=\dfrac{\dfrac{\partial y}{\partial u}du+\dfrac{\partial y}{\partial v}dv}{\dfrac{\partial x}{\partial u}du+\dfrac{\partial x}{\partial v}dv}=\dfrac{\dfrac{\partial y}{\partial u}+\dfrac{\partial y}{\partial v}\dfrac{dv}{du}}{\dfrac{\partial x}{\partial u}+\dfrac{\partial x}{\partial v}\dfrac{dv}{du}}=\dfrac{v\exp(f(u))\dfrac{df}{du}+\exp(f(u))\dfrac{dv}{du}}{1+0\cdot\dfrac{dv}{du}}$$ $$=v\exp(f(u))\dfrac{df}{du}+\exp(f(u))\dfrac{dv}{du}$$
Using the ODE will give:
$$v\exp(f(u))\dfrac{df}{du}+\exp(f(u))\dfrac{dv}{du}=\dfrac{df}{du}v\exp(f(u))+g(u)$$
$$\implies\dfrac{dv}{du}=\exp(f(u))g(u)\implies v=c+\int\exp(f(u))g(u)du$$