Questions tagged [gradient-flows]
An ordinary differential equation that generalizes the notion of "path of steepest descent." For questions on "gradients" of a function, use (multivariable-calculus) instead.
238
questions
2
votes
0
answers
72
views
Mean curvature flow: Second time derivative?
Suppose I have a 2D surface in $\mathbb R^3$ undergoing mean curvature flow, i.e., the motion of a point on the surface instantaneously can be described as $$\frac{d\mathbf x}{dt}=-H\mathbf n,$$ where ...
0
votes
0
answers
33
views
Multivariate Chain Rule with Derivatives in Intermediate Functions
I have a function
$$G: \mathbb R^d \times \mathbb R \times \mathbb R^d \to \mathbb R$$
where $d$ is a positive integer and the arguments of $G$ are denoted by $({\bf y}, z, {\bf p})$. I'm denoting ...
0
votes
0
answers
21
views
Integral by parts on a scalar field over a curve
Let $M$ be a compact and boundaryless Riemannian manifold. Take $f\in C^\infty(M)$ and let $T_s(x)=\exp_x(s\nabla f(x))$ be its gradient flow.
I have proven for my specific case that
$$\int_0^1\Delta ...
1
vote
0
answers
40
views
Derivative of a gradient flow $T(x)=\exp_x(\nabla\psi(x))$
Consider a gradient flow
$$T(x)=\exp_x(\nabla\psi(x))$$
on a Riemannian manifold $M$, with $\psi\in C^\infty(M)$. What is the derivative of this flow?
I mean, if $X\in\mathfrak{X}(M)$, who is
$$dT_p(...
1
vote
0
answers
31
views
How to verify whether a direction is the steepest descent, in multi-variables case?
Consider the following energy function $$-\sum_{i<j\in[n]}\cos(\theta_i-\theta_j)$$ where $\theta_i\in\mathbb{R}$, for $\forall i\in[n]$.
At any vector $\vec\theta$ that is not all-equal vector ($\...
2
votes
0
answers
26
views
Morse flow: cancelling handle pairs away from deformation retract
Given a smooth manifold (not closed, maybe with boundary) $M$ in $R^n$, take a section with a hyperplane $H$ of some dimension $d$. Assume that $M$ has $M\cap H$ as deformation retract. For example, a ...
5
votes
1
answer
135
views
Discretization Error of Mirror Descent
It is well known that for sufficiently differentiable functions $f$ and small $\eta>0$ the iterate given by gradient descent $$ x_{k+1}=x_k-\eta \nabla f(x_k)$$ is within $\mathcal O(\eta^2)$ of ...
1
vote
0
answers
60
views
Flow is defined using a $C^1$ function is $C^1$
I have a flow defined by the initial value problem:
$$\frac{d}{dt}y_t(x)=f_t(y_t(x)), \quad y_0(x)=x$$
where $f_t:\mathbb{R}^k\rightarrow\mathbb{R}^k$. I know the above problem has a unique solution ...
2
votes
1
answer
108
views
Using Gronwall to prove bi-Lipschitz
I am working through a proof which, for fixed $x \in \mathbb{R}^k$ considers an initial value problem of the form:
$$\frac{d}{d t}u_t(x)=v_t(u_t(x)), \quad u_t(0)=x$$
where $u_t:\mathbb{R}^k \...
1
vote
1
answer
29
views
How do we show that narrow convergence is only needed on a spanning uniformly dense subset
At the beginning of Chapter 5 of Ambrosio's Gradient Flows book, he introduces the idea of a narrowly convergent sequence of measures as...
"A sequence $(\mu_n) \subset \mathcal{P}(x)$ is ...
0
votes
0
answers
12
views
Existence of projection $P$ equivalent to $P' \circ T \circ P''$ for projections $P', P''$ and smooth translation $T$?
A projection in the linear algebraic sense is a linear map $P$ such that $P^2 = P$. I'm interested in knowing when there is guaranteed to exist a projection $P$ such that $P = P' \circ T \circ P''$, ...
1
vote
1
answer
196
views
Are linear interpolation curves on Wasserstein spaces absolutely continuous?
Let $\mathcal{P}_2$ the space of absolutely continuous probability measures on $\mathbb{R}^d$ with finite second moment equipped with the $2$-Wasserstein metric.
Fix $\mu_0, \mu_1 \in \mathcal{P}_2.$
...
0
votes
0
answers
92
views
(Explaination of) Proof of Global Stable Manifold Theorem in Audin & Damian's book
I am reading Michèle Audin and Mihai Damian's book $\textit{Morse Theory and Floer Homology}$ and I stick at one sentence regarding Global Stable Manifold Theorem which states $W^s(a)$(that is, the ...
1
vote
0
answers
63
views
Gradient flow of Nesterov accelerated gradient methods
I am reading a nice paper [1] that gives a differential equation for NAG methods. The updating rules of NAG are:
$$x_k = y_{k-1} - \eta \nabla f(y_{k-1}) \tag{1}$$
$$y_k = x_k + \frac{k-1}{k+2}(x_k - ...
0
votes
1
answer
51
views
L2 gradient solution time
There is something I don't understand.
Imagine I want to solve :
$$Min_{u}\int_{B(0,1)} \left| \nabla u(x) \right|^{2}+F(u(x))dx$$
It's L2 gradient flow is given by :
$$\partial_{t} u =2 \Delta u - F^{...