Intereting Posts

Prove that $\cos\frac {2\pi}{7}+ \cos\frac {4\pi}{7}+ \cos\frac {8\pi}{7}=-\frac{1}{2}$
Embedding ordinals in $\mathbb{Q}$
Limit of an expression
Intuition: If $a\leq b+\epsilon$ for all $\epsilon>0$ then $a\leq b$?
Set of all injective functions $A\to A$
Statements with rare counter-examples
Find all conditions for $x$ that the equation $1\pm 2 \pm 3 \pm 4 \pm \dots \pm n=x$ has a solution.
Proving $rank(\wp(x)) = rank(x)^+$
Why does $\lim_{n\to\infty} z_n=A$ imply $\lim_{n\to\infty}\frac{1}{n}(z_1+\cdots+z_n)=A$?
Which functions on N extend uniquely to a continuous function on the Stone-Cech Compactification of N?
$X$ is a basis for free abelian group $A_{n}$ if and only if $\det (M) = \pm 1$
Proving the relation $\det(I + xy^T ) = 1 + x^Ty$
Is there a proper subfield $K\subset \mathbb R$ such that $$ is finite?
$\nabla U=0 \implies U=\mathrm{constant}$ only if $U$ is defined on a connected set?
How to determine the matrix of adjoint representation of Lie algebra?

From http://www.mathpages.com/home/kmath523/kmath523.htm

Variations in $x,y,z$ and $X$ at constant $t$ are independent of $t$ (since each of these variables is strictly a function of $t$), so we have

$${\frac{\partial x}{\partial X}=\frac{\partial{\dot x}}{\partial{\dot X}}}$$

(This is just after equation (5) on the page.)

- Proof of fundamental lemma of calculus of variation.
- Arc length contest! Minimize the arc length of $f(x)$ when given three conditions.
- Derivation of Euler-Lagrange equation
- How can $y$ and $y'$ be independent in variational calculus?
- Calculus of variations, what is a functional
- Why does $\frac{dq}{dt}$ not depend on $q$? Why does the calculus of variations work?

I’m having trouble making sense of this. If each of these variables is strictly a function of $t$, and $t$ is held constant, how does a time derivative (${\dot x}$) make sense?

If it were to mean that $t$ is replaced with a constant after the differentiation, then I could take the example of

$$ x(y)=X^{3/4}=t^{3}$$

$$ X(t)=t^{4}$$

I could then calculate

$$ {\frac{\partial x}{\partial X}=\frac{\dot x}{\dot X} = \frac{3}{4t}}$$

and

$$ {\frac{\partial {\dot x}}{\partial {\dot X}}=\frac{\ddot x}{\ddot X}=\frac{1}{2t}}$$

…and those are not equal for any $t$.

What is the justification for this step?

Note: This is a follow up to my first question about this, but that error was resolved. Rates of change for functions dependent on same variable

- complicated derivative with nested summations
- Derivative of $f(x,y)$ with respect to another function of two variables $k(x,y)$
- What is the derivative of ${}^xx$
- Lipschitz $\implies |f'(x)|\le d$
- Directional derivatives in any direction are all equal
- Proving that $\lim\limits_{x \to 0}\frac{e^x-1}{x} = 1$
- Isoperimetric problem in the calculus of variations
- Equality/Equivalence of functions
- Why must the gradient vector always be directed in an increasing direction?
- Proof of derivative of $e^x$ is $e^x$ without using chain rule

- Between eq. (4) and eq. (5)

By definition

$$x=x(X(t),Y(t)),$$

and **not** $x=x(X(t),Y(t),t)$; so

$$\frac{dx}{dt}=\frac{\partial x}{\partial X}\frac{dX}{dt}+ \frac{\partial x}{\partial Y}\frac{dY}{dt},$$

from which follows

$$\frac{\partial }{\partial X}\left(\frac{dx}{dt}\right)=

\frac{\partial^2 x}{\partial X^2}\frac{dX}{dt}+ \frac{\partial^2 x}{\partial X\partial Y}\frac{dY}{dt},$$

as $\frac{\partial }{\partial X}\frac{dX}{dt}=\frac{\partial }{\partial X}\frac{dY}{dt}=0.$ On the other hand

$$\frac{d}{dt}\left(\frac{\partial x}{\partial X}\right):=

\frac{d}{dt}g(X(t),Y(t))=

\frac{\partial g}{\partial X}\frac{dX}{dt}+ \frac{\partial g}{\partial Y}\frac{dY}{dt} = \frac{\partial^2 x}{\partial X^2}\frac{dX}{dt}+ \frac{\partial^2 x}{\partial X\partial Y}\frac{dY}{dt}, $$

i.e.

$$\frac{\partial }{\partial X}\left(\frac{dx}{dt}\right) =\frac{d}{dt}\left(\frac{\partial x}{\partial X}\right).$$

- Just after eq. (5)

As $$x=x(X(t),Y(t)),$$ then $\frac{\partial x }{\partial \dot{X}}=0$ and $\frac{\partial x }{\partial \dot{X}}\left(\frac{\partial x}{\partial X} \right)=0,$ as well.

Using the notation $\dot{x}=\frac{dx}{dt} $ it follows that

$$\frac{\partial\dot{x} }{\partial \dot{X}}=

\frac{\partial }{\partial \dot{X}}\left(\frac{\partial x}{\partial X}\dot{X}+ \frac{\partial x}{\partial Y}\frac{dY}{dt},\right)=\frac{\partial x}{\partial X},$$

as claimed.

- Proving $(A\cup B)\cap(B\cup C)\cap(C\cup A)=(A\cap B)\cup (A\cap C)\cup (B\cap C)$?
- Infinite Volume but Finite Surface Area
- Ramanujan's False Claims
- Linear vs nonlinear differential equation
- Compute $1^2 + 3^2+ 5^2 + \cdots + (2n-1)^2$ by mathematical induction
- Number of ways to put N indistinct objects into M indistinct boxes
- solve a trigonometric equation $\sqrt{3} \sin(x)-\cos(x)=\sqrt{2}$
- Differentiable function, not constant, $f(x+y)=f(x)f(y)$, $f'(0)=2$
- If $a+b+c=6$ and $a,b,c$ belongs to positive reals $\mathbb{R}^+$; then find the minimum value of $\frac{1}{a}+\frac{4}{b}+\frac{9}{c}$ .
- When $d \mid n$, the number of elements of order $d$ in a cyclic subgroup of order $n$ is $\phi (d)$
- How to determine the series for $ f(x) = \sqrt{1-\sqrt{1+\sqrt{1-\sqrt{1+x}}}} $ around $0$?
- Proving that $\cos(2\pi/n)$ is algebraic
- Prove that if $2^n – 1$ is prime, then $n$ is prime for $n$ being a natural number
- Let R be a relation on set A. Prove that $R^2 \subseteq R <=>$ R is transitive $<=> R^i \subseteq R ,\forall i \geq 1$
- Integral points on an elliptic curve