Intereting Posts

How many copies of $C_4$ are there in $K_n$
Minimum number of edge-disjoint paths needed to cover a graph
Is the sum of all natural numbers $-\frac{1}{12}$?
Is $\frac{\textrm{d}y}{\textrm{d}x}$ not a ratio?
Why don't Venn diagrams count as formal proofs?
A variant of the Knight's tour problem
“Pseudo-Cauchy” sequences: are they also Cauchy?
Semisimple ring problem
One-to-one correspondence of ideals in the quotient also extends to prime ideals?
Is it impossible to recover multiplication from the division lattice categorically?
Is a closed subset of a compact set (which is a subset of a metric space $M$) compact?
Extension of linearly independent set to a basis in an infinite dimensional vector space
How to show that $(a+b)^p\le 2^p (a^p+b^p)$
Why hyperreal numbers are built so complicatedly?
Coprime of $x+\sqrt{-2}$ and $x-\sqrt{-2}$

I have a question regarding partial differentiation of a function of $x,y$ with respect to another function of $x,y$.

Specifically, I was wondering whether my logic or technique would hold true for most stuations.

$$

\begin{align*}

\frac{\partial(x-y)}{\partial y} & = -1 \\

& = -1\cdot\frac{\partial f(x-y)}{\partial f(x-y)}

\end{align*}

$$

- Evaluating the Poisson Kernel in the upper half space in $n$-dimensions
- $x_{n+m}\le \frac{x_n+x_{n+1}+\cdots+x_{n+m-1}}{m}$. Prove that this sequence has a limit.
- Lesser-known integration tricks
- Complete this table of general formulas for algebraic numbers $u,v$ and $_2F_1\big(a,b;c;u) =v $?
- Calculate $\pi$ precisely using integrals?
- integration of function equals zero

Then, cross multiplying, we get:

$$

\begin{align*}

\frac{\partial f(x-y)}{\partial (x-y)} = -1 \cdot \frac{\partial f(x-y)}{\partial y}

\end{align*}

$$

My technique consisted of first constructing a partial derivative with respect to a variable, which equaled a quantity (it happened to be a scalar in the above example). Then, I multiplied by $1 = \frac{\partial f(x-y)}{\partial f(x-y)}$. Then, I rearranged the terms.

Is this a valid technique? I checked my calculus book under partial derivatives, under the chain rule, and also did a general search on derivative with respect to a function. I’m not sure if what I am doing relates closely to calculus of variations.

Thanks.

- $\lim_{n\to \infty }\frac{a_{n+1}}{a_{n}}< 1$, $a_{_{n}}> 0$- does $a_{_{n}}$ converge?
- Matrix derivative $(Ax-b)^T(Ax-b)$
- ${a_n}$ series of Fibonacci numbers. $f(x)=\sum_{0}^{\infty}a_nx^n$, show that in the convergence radius: $f(x)= \frac{1}{1-x-x^2}$
- Is $\int_{-\infty}^{\infty} \sin x \, \mathrm{dx}$ divergent or convergent?
- A proof of $\int_{0}^{1}\left( \frac{\ln t}{1-t}\right)^2\,\mathrm{d}t=\frac{\pi^2}{3}$
- how to strictly prove $\sin x<x$ for $0<x<\frac{\pi}{2}$
- Elementary proof for $\lim_{n \to\infty}\dfrac{n!e^n}{n^n} = +\infty$
- Does it follow that $u_n \rightharpoonup 0$ weakly in $W^{1, p}(\mathbb{R})$ for all $p \in (1, \infty)$?
- Motivation for Ramanujan's mysterious $\pi$ formula
- A general formula for the $n$-th derivative of a parametrically defined function

Your calculation is correct, but I’m hesitant to call it a “valid technique.” Let me explain a bit:

In the context you’re working in, we have a function $f(u)$, which is a function of a single variable, and also $u(x,y) = x – y$ is a function of two variables. In this setup, the chain rule reads as follows:

$$\frac{\partial f}{\partial x} = \frac{df}{du}\frac{\partial u}{\partial x}$$

$$\frac{\partial f}{\partial y} = \frac{df}{du}\frac{\partial u}{\partial y}$$

Since $\frac{\partial u}{\partial y} = -1$, we can conclude that $\frac{\partial f}{\partial y} = -1\cdot \frac{df}{du}$, and therefore that $$\frac{df}{du} = -1\cdot \frac{\partial f}{\partial y},$$

which, in your (somewhat non-standard) notation reads $\frac{\partial f(x-y)}{\partial (x-y)} = -1\cdot \frac{\partial f(x-y)}{\partial y}$. So, this equation is true, yes.

The reason I hesitate to call your method a “valid technique” is because one usually cannot manipulate the symbols $\partial x$ and $\partial y$ as independent entities.

For instance, if $f$ were instead a function of *two* variables, say $f(u,v)$, where both $u$ and $v$ were themselves functions of two variables (say $u = u(x,y)$ and $v = v(x,y)$), then the chain rule would read

$$\frac{\partial f}{\partial x} = \frac{\partial f}{\partial u}\frac{\partial u}{\partial x} + \frac{\partial f}{\partial v}\frac{\partial v}{\partial x}$$

$$\frac{\partial f}{\partial y} = \frac{\partial f}{\partial u}\frac{\partial u}{\partial y} + \frac{\partial f}{\partial v}\frac{\partial v}{\partial y}.$$

If you’ll notice, we really can’t interpret the $\partial u$ and $\partial v$ signs as canceling without getting false identities like $\frac{\partial f}{\partial x} = \frac{\partial f}{\partial x} + \frac{\partial f}{\partial x}$.

**Amusing Example:** Just to really drive the point home, consider the ideal gas law (from chemistry) $PV = nRT$, where $n$ and $R$ are constants. We can consider $P$, $V$, and $T$ as functions

$$P = P(V,T) = nR\frac{T}{V}$$

$$V = V(P,T) = nR \frac{T}{P}$$

$$T = T(P,V) = \frac{1}{nR}PV.$$

One can then check that, in fact:

$$\frac{\partial P}{\partial V} \frac{\partial V}{\partial T}\frac{\partial T}{\partial P} = -1.$$

So much for canceling.

Generally speaking it is not ok to use cross-multiplication for partial derivatives, because unlike full derivatives they are not represented as ratios of differential forms, so $\frac{\partial}{\partial x}$ must be regarded as one symbol (a vector in fact).

Not sure which connection to calculus of variations you had in mind, however there is only one delicate case that I am aware of where full and partial derivative get entangled in a subtle way. That is, variation of the functional

$$v[z(x,y)]=\iint_D F\left(x,y,z,p,q\right)dxdy$$

where $p=\frac{\partial z}{\partial x}$, $q=\frac{\partial z}{\partial x}$ results in the following expression

$$\delta v=\iint_D\left(F_z-\frac{\partial}{\partial x}\{F_p\}-\frac{\partial}{\partial y}\{F_q\}\right) \delta z dxdy$$

where $\frac{\partial}{\partial x}\{F_p\}$ is the so-called “full partial derivative by x” (L.E. Elsgoltz, “Calculus of Variations”, 1958). It means that $y$ is considered constant, however the dependence of $z$, $p$ and $q$ on $x$ is taken into account. Which results in the following expression

$$\frac{\partial}{\partial x}\{F_p\}=F_{px}+F_{pz}\frac{\partial z}{\partial x}+F_{pp}\frac{\partial p}{\partial x}+F_{pq}\frac{\partial q}{\partial x}$$

- At what education level is this “simple” problem adequate?
- Prove. Let {v1,v2,v3} be a basis for a vector space V. Show that {u1,u2,u3} is also a basis, where u1=v1, u2=v1 +v2, and u3=v1+v2+v3
- equilateral triangle; $3(a^4 + b^4 + c^4 + d^4) = (a^2 + b^2 + c^2 + d^2)^2.$
- On the integral $\int_0^1\frac{dx}{\sqrtx\ \sqrt{1-x}\ \sqrt{1-x\,\beta^2}}=\frac{2\pi}{7\sqrt{2}\,\beta}$ and $\cos\frac{2\pi}{7}$
- How to build a subgroup $H\leq S_4$ having order $8$?
- Show continuity or uniform continuity of $\phi: (C(;\Bbb R ),||\cdot||_\infty )\to (\Bbb R, |\cdot | )$
- Motivation to understand double dual space
- Free idempotent semigroup with 3 generators
- Does there exist any surjective group homomrophism from $(\mathbb R^* , .)$ onto $(\mathbb Q^* , .)$?
- arrangement of $n$ oranges and $n$ apples around a circle
- When does open and connected imply path-connected?
- Finding $\lim_{n\to\infty}M^n$ for the diagonal matrix $M$
- If $E_P(X) \in $ span($E_{P_i}(X)$), $1 \leq i \leq n$, for all integrable $X$, then is $P$ a convex combination of the $P_i$?
- Is a Sudoku a Cayley table for a group?
- Bessel function integral and Mellin transform