All Questions
Tagged with dg.differential-geometry differential-equations
229 questions
2
votes
2
answers
424
views
Questions about some parallel between polynomial and differential equation
Do the relations between Galois groups and solutions to polynomial equations with one variable have a counterpart between Lie groups and solutions to differential equations ?
Do the relations between ...
- 3,094
0
votes
0
answers
76
views
Existence solutions of the system of equations on Riemannian manifold
Is there a way to show that the following system of two equations has a solution? I don't want to find an explicit solution, but just verify its existence.
$$f''(r) + \beta \coth(r) f'(r) = \rho_0 e^{-...
- 272
5
votes
0
answers
204
views
When is a Function a Flow
Let $f:\mathbb{R}^d\to \mathbb{R}^d$ be a continuous injective function. Is there a way to verify if $f$ is a flow of a time homogeneous ODE? That is, if there is a Lipschitz time independent vector ...
- 5,405
3
votes
0
answers
108
views
A question on essentially self-adjoint differential operators of the type $\Delta=D^{\ast}D$
Let $(M,g)$ be a smooth (connected, complete, oriented) Riemannian manifold and let $D:C^{\infty}(M)\to C^{\infty}(M)$ be a linear partial differential operator, which I view as an operator in $L^{2}(...
- 1,171
6
votes
1
answer
297
views
Understanding exterior differential systems
Let $M$ be an $n$-dimensional smooth manifold. An exterior differential system on $M$ is by definition a graded ideal $\mathcal{I}\subset \Omega^{\bullet}(M)$ in the ring $\Omega^{\bullet}(M)$ of ...
- 2,816
2
votes
0
answers
34
views
Bounding norms of symplectic matrix factorisations and non-separable Hamiltonian flows
Problem setup: Let $e^{hJM}$ be the time-$h$ flow corresponding to the ODE $\dot{x} = JMx$, with $M = \left(\begin{array}{cc}
A & C\\
C^T & B\\
\end{array}\right)$ ...
- 21
1
vote
0
answers
183
views
Solving the Moutard PDE
I'm researching on discrete/semi-discrete/smooth differential geometry. Recently, I transformed one of my surface theory problems (in the smooth scenario) into the following Moutard PDE
$$h_{uv} = q\,...
- 245
2
votes
0
answers
83
views
Simply connectedness of leaves of a foliation on an complex manifold
Now I'm searching about leaves of foliation in the following special setting.
Let $U,V$ be two holomorphic vector field on $\mathbb{C}^2$ s.t the Lie bracket $[U,V]=UV-VU=0$ and $U$ and $V$ spaned ...
- 328
2
votes
1
answer
146
views
Understanding the integral $\int_0^1\det(v(t),v'(t))dt$ where $v(t)$ is path in the plane
Let $v(t) : [0,1]\rightarrow\mathbb{C}^2$ be a smooth path, and let $v' := dv/dt$. I'd like to understand what the integral:
$$I(v) := \int_0^1 \det(v(t),v'(t))dt$$
tells us about $v$, where $\det(v(t)...
- 7,527
0
votes
0
answers
59
views
Condition to show $\{ U \in \mathbb{R}^{n \times p}|\mathscr{A}(UU^{\top}) = b \}$ is (is not) a manifold
Consider $\mathscr{A}: S^{n\times n} \to \mathbb{R}^{m}$, $b \in \mathbb{R}^{m}$, I would like to know when $\mathscr{M}:=\{ U \in \mathbb{R}^{n \times p}|\mathscr{A}(UU^{\top}) = b \}$ is a manifold. ...
- 275
2
votes
1
answer
208
views
Frobenius theorem and the size of integral manifold
Let $X =(X_0,X_1)\in \mathbb{R}^2$ and $Y=(Y_0,Y_1)\in \mathbb{R}^2$ be two vector fields on $\mathbb{R}^2$ such that $X,Y$ are independent on each tangent plane and
$[X,Y]:=XY-YX=0$.
Then by ...
- 328
5
votes
0
answers
878
views
A fourth-order linear PDE
I am interested in the following type of $4$-th order linear PDE with $2$ variables (i.e., $x$ and $t$):
$$x^3 f_{xxxt}+ f =0$$
Does anyone know if this type of PDE already appeared in the literature? ...
- 141
3
votes
1
answer
128
views
Fréchet-valued symbols
Denote by $S^m \left ( \mathbb{R}^k \times \mathbb{R}^n \right)$ the usual space of symbols. Now let $E$ be a Fréchet Space. We can then define $S^m \left ( \mathbb{R}^k \times \mathbb{R}^n; E \right)$...
- 395
0
votes
1
answer
77
views
Same occupation measure $\Rightarrow$ same trajectory
Let $f$ be a $\mathcal{C}^1$ vector field (VF) on a compact subset $M \subset \mathbb{R}^n$. $M$ inherits the Euclidean metric. We define a dynamical system by
$$\dot{x}(t)=f(x(t))$$
The occupation ...
- 247
1
vote
0
answers
75
views
Looking for examples of 3rd-order contact transformations
In the Herglotz Lectures on Contact Transformations and Hamiltonian Systems, after going through contact transformations of the form $X=X(x,y,p)$, $Y=Y(x,y,p)$, $P=P(x,y,p)$ it is stated:
As a final ...
- 176
8
votes
1
answer
357
views
Estimates of $\Delta|\nabla u|$ for harmonic function $u$
The well-known Bochner formula and refined Kato inequality (for harmonic function) tells us that for a harmonic function $u$ in $B_{2}\subset\mathbb{R}^{n}$,
$$
\frac{1}{n}|\nabla^{2}u|^{2}\leqslant |\...
- 155
1
vote
0
answers
141
views
$L^{p}$ estimate for $\frac{|\nabla f|^{2}}{f}$
I’m trying to obtain an $L^{p}$ estimate under certain conditions. Suppose $f\in C^{2}(B_{2})$ is a function satisfying $0<f<1$ and $f\Delta f>\frac{1}{n} |\nabla f|^{2}$, where $B_{2}\subset\...
- 155
0
votes
0
answers
135
views
Relative bounds for vorticity
Write the vorticity equation as
\begin{equation}\label{Eq20}
\begin{split}
\dfrac{\partial}{\partial t} v_i & = \biggl[|\textbf{v}|~|\nabla u_i|\cos(\beta_i)- |\textbf{u}|~|\nabla v_i|\cos(\...
- 317
2
votes
0
answers
136
views
Progess on conjectures of Palis
I came across a "A Global Perspective for Non-Conservative Dynamics" by Palis. He has some conjectures
"Global Conjecture:
There is a dense set $D$ of dynamics such that any element of ...
- 247
1
vote
2
answers
260
views
Exterior differential systems on compact three-manifolds and Cartan-Kähler theory
Let $M$ be a compact three-manifold. I am interested in the following equation on $M$:
$ d e^i = \sum_{j,k}^3 \Theta^i_{jk} \, e^j\wedge e^k\, , \qquad i =1,2,3$
together with the following condition:...
- 2,816
1
vote
0
answers
64
views
Physical measure of a dynamical system in terms of its density
Let $f$ be a $\mathcal{C}^1$ vector field on a compact subset $M \subset \mathbb{R}^n$. We define a dynamical system by
$$\dot{x}(t)=f(x(t))$$
In ergodic theory, the occupation measure is
$$\mu_{x, T}(...
- 247
0
votes
0
answers
58
views
Role of basins of attraction in the Morse decomposition
Let $M$ be a differentiable manifold and $F \in \mathcal{X}(M)$. We define a DS by
$$\dot{x}=F(x(t))$$
An ordered collection $\mathcal{M}=\left\{M_{1}, \ldots, M_{l}\right\}$ of compact subsets of ...
- 247
5
votes
1
answer
205
views
Bias of DS literature to polynomial ODEs
In the literature on continuous time dynamical system, we generally deal with an open set $U \subset \mathbb{R}^n$ and a vector field $F: U \rightarrow \mathbb{R}^n$ and define a DS by the ODE
$$\...
- 247
2
votes
0
answers
126
views
Differential equations: trying to connect a nonlinear equation to a linear one
The following is motivated by taking a product space $\Omega$ and splitting it into two parts via projections, whose subspaces, $T$ and $X$, are home to functions which satisfy a nonlinear PDE and a ...
- 383
0
votes
0
answers
303
views
Proof that a first integral is not a constant function
Let $U$ be an (open) set in $\mathbb{R}^n$. And we are given a set of $m$ basis functions
$$B=\{\psi_i(x): U \rightarrow \mathbb{R}\mid i=1,\ldots,m \}$$
such that all of them are differentiable and ...
- 247
0
votes
0
answers
70
views
Example of DS with a dense trajectory in the whole state space
Let $U \subset \mathbb{R}^n$ be an open and connected set. We assume there is a vector field $F \in \mathcal{C}^1(\overline{U})$ giving rise to a DS ($\overline{U}$ denotes the closure)
$$\dot{\mathbf{...
- 247
4
votes
0
answers
126
views
Darboux integral for non-polynomial ODEs
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$
\dot{x}_j=f_j(x)=\sum_{i_1,\dots,i_n=1}^d a_{i_1,\dots,i_n}^j x_1^{i_1}\dots x_n^{i_n} \quad \forall j=1,\ldots,n
$$
we define ...
- 247
4
votes
1
answer
258
views
Building a geodesic conjugate parameterization on catenoid
I believe that a catenoid supports a parametrization $\sigma : U \subset \mathbb{R}^2 \rightarrow \mathbb{R}^3$ that forms a conjugate system (i.e., $\sigma_{uv} \in\mathrm{span}(\sigma_u, \sigma_v)$) ...
- 245
3
votes
0
answers
92
views
Cycloid on manifolds
Inspired by differential equation
$$y(1+y'^2)=c$$
which generates the cycloid we consider the following differential equation on a Riemannian manifold:
$$f(1+|\nabla f|^2)=c$$
On the other hand ...
- 356
5
votes
1
answer
165
views
Algebraic solutions of polynomial ODEs
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$
\dot{x}_j=f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a_{i_{1},\dots,i_{n}}^{j}x_{1}^{i_{1}}\dots x_{n}^{i_{n}} \quad \forall j=1,...,n
...
- 247
42
votes
1
answer
3k
views
What is the shape of the perfect coffee cup for heat retention assuming coffee is being drunk at a constant rate?
Note: I asked this on Mathematics SE and even though @TheSimpliFire offered a bounty on it, no-one had a good answer
Find the optimal shape of a coffee cup for heat retention. Assuming
A constant ...
4
votes
1
answer
214
views
A system of linear PDEs with boundary conditions
I'm researching on discrete/semi-discrete/smooth differential geometry. Recently, I could simplify one of my geometric problems (in the smooth scenario) into the solutions of a system of linear PDEs ...
- 245
2
votes
0
answers
103
views
Representation formula for solutions to fully nonlinear equations
Let $n\geq 3$, for a metric $g$ on $\mathbb{S}^n$, the $\sigma_k$-curvature of $g$ is defined as follows. Let $Ric_{g}$, $R_{g}$ and $A_{g}$ denote respectively the Ricci curvature, the scalar ...
- 471
1
vote
1
answer
124
views
Kelvin transformation in fully nonlinear equation
Let $g_\text{flat}$ denote the Euclidean metric on $\mathbb{R}^n$ and $A^u$ denote the $(1,1)$-Schouten tensor of $u^{\frac{4}{n-2}}g_\text{flat}$,
$$
A^u = -\frac{2}{n-2}u^{-\frac{n+2}{n-2}}\...
- 471
2
votes
1
answer
116
views
The linearization problem of fully nonlinear equation on standard sphere
For a metric $g$ on $\mathbb{S}^{n}$ $(n\geq 3)$, the $\sigma_k$-curvature of $g$ is defined as follows. Let $Ric_{g}$, $R_{g}$ and $A_{g}$ denote respectively the Ricci curvature, the scalar ...
- 471
4
votes
1
answer
204
views
Nirenberg problem in conformal change
Let $(\mathbb{S}^n,g_0)$ be the standard sphere, $n\geq 3$, consider the Nirenberg problem$$
-k(n) \Delta_{g_0} u+R_0 u=R u^{\frac{n+2}{n-2}}, \quad u>0\,\text{ on }\, \mathbb{S}^n,
$$
where $k(n)=...
- 471
0
votes
1
answer
221
views
Numerical reconstruction of Einstein's field equations
A few analytic solutions are known to the Einstein field equations:
$$ R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R - kT_{\mu\nu} = 0$$
Taking a preexisting analytic solution such as Schwarzchild's solution:
$$...
- 109
5
votes
1
answer
213
views
How to extend this PDE?
Let $(M^n,g)$ and $(N^m,h)$ be Riemann manifolds without boundary of dimension $n$ and $m$ respectively and $u:(M^n,g)\to (N^m,h)$ be a map satisfying the following PDE on $M^n\backslash\Sigma$ ($u$ ...
- 63
0
votes
0
answers
167
views
How does one make sense of singular solutions to constant mean curvature equation?
Background:
Consider the following ODE:
$$\left(\frac{r^2 \dot{f}}{\sqrt{1+r^2(\dot{f})^2}}\right)' = c r$$
where $c$ is some positive constant (Lagrange multiplier), $f:[0,\infty)\to [0,\pi]$ is the ...
- 537
3
votes
1
answer
207
views
Uniform continuity of Hamiltonian flow
Let $h \in C^2_{\mathrm{ub}}(\mathbb{R}^{2n})$, where $C_{\mathrm{ub}}^k$ consists of $C^k$-functions that are bounded and uniformly continuous along with their derivatives up to $k$th-order.
It is ...
- 769
1
vote
1
answer
224
views
Bott-Chern cohomology for singular complex spaces
I'm reading the book 'An Introduction to the Kahler-Ricci Flow' (Lecture Notes in Mathematics 2086). They discuss Bott-Chern cohomology on complex spaces:
Let $X$ be a complex space(i.e. analytic ...
- 361
1
vote
0
answers
70
views
What *piecewise* smooth curves/surfaces/hypersurfaces give rise to forward-invariant regions of dynamical systems?
Consider a set $\mathcal{B}\subset \mathbb{R}^n$ that is homeomorphic to a closed n-dimensional ball, and denote its boundary by $\mathcal{H}$. Assume that $\mathcal{H}$ is a "piecewise smooth&...
- 111
1
vote
0
answers
98
views
The module generated by kernel of an elliptic differential operator
Let $D$ be an elliptic differential operator defined on $\Gamma(E)$ where $\Gamma (E)$ is the space of smooth sections of vector bundle $E$ over a smooth manifold $M$. So $\Gamma (E)$ is a $C^\...
- 356
0
votes
0
answers
76
views
Linear dependence of the derivatives of a vector valued function
Let $f:\mathbb{R}\rightarrow\mathbb{R}^5$ be an injective smooth function, and consider the function
$$
g:\mathbb{R}^5\rightarrow\mathbb{R}^5
$$
given by
$$
g(t_1,t_2,t_3,a,b) = f(t_1)+a(f(t_2)-f(t_1))...
- 8,998
2
votes
0
answers
83
views
Biased ensemble in the unitary group
I am interested in studying the ensemble of unitary random matrices in $U(L)$ made as follows
$$
\mu(U)=\frac{1}{\mathcal{Z}[\omega]}\mu_{\rm Haar}(U) e^{-\sum_{k=1}^L \sum_{l=1}^N \omega_k |U_{kl}|^2}...
- 121
3
votes
0
answers
74
views
A foliation version of S.Husseini counter example in fixed point theory
In this question we are indirectly inspired by an example by S.Husseini Amer. J.Math 1977
"The Products of Manifolds with the f.p.p. Need Not have the f.p.p"
who gave an example of two ...
- 356
0
votes
0
answers
72
views
$\mathbb{R}^n$-flow, cross-section and Whitney theorem
For a $\mathbb{R}$-flow (X, $\Phi_{\mathbb{R}}$), the (local) cross-section is well defined (recall that a subset $S\subset X$ is a cross section of time $\xi>0$ if $S\cap \Phi_{[-\xi, \xi]}(x)=\{x\...
- 675
3
votes
0
answers
96
views
L^1 gradient bounds for potentials of weakly closed forms
Context: The Poincaré-lemma is a central statement in differential geometry. It shows that a k-form is closed iff it is exact. A special case is as follows:
Let $\omega\in\Omega^k(U)$ with
$\omega=\...
- 31
2
votes
0
answers
135
views
Friedrichs Inequality
I'm a little confused with the following proof of Friedrichs inequality in Lawson's & Michelsohn's book Spin geometry, page 194, Theorem 5.4.
I don't understand why the last inequality, i.e.
$$
C(\...
- 21
4
votes
1
answer
364
views
When is a smooth field's flow map volume preserving diffeomorphism
Let $V:\mathbb{R}^n\rightarrow \mathbb{R}^n$ be a $C^{\infty}$ vector field. Fix a (single) real number $d$ such that
$$
1\leq d\leq n
.
$$
Under what conditions is the flow map $\Phi_V$ defined as ...
- 43