Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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^{-...
MathDG's user avatar
  • 272
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 ...
Bilateral's user avatar
  • 2,816
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 ...
George's user avatar
  • 328
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 |\...
Xin Qian's user avatar
  • 155
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:...
Bilateral's user avatar
  • 2,816
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 ...
Ali Taghavi's user avatar
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 ...
Michael McLaughlin's user avatar
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 ...
Davidi Cone's user avatar
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$ ...
Tears's user avatar
  • 63
2 votes
1 answer
89 views

References Request: A paper Tanno's equation

I need a paper which wrote by Tanno where he prove that a equations $f_{ijk} + k(2f_{k}g_{ij} + f_{i}g_{jk} + f_{j}g_{ik})$ can be solved if and only if on sphere. But I can not find it on Internet ...
管山林's user avatar
1 vote
0 answers
110 views

A Kazhdan-Warner type problem

Let $X$ be a compact Riemannian manifold and I am interested in the following set of equations: \begin{align*} \Delta f+u\cdot e^{f+\lambda}=c\\ \lambda-2f=g \end{align*} where $u,g$ are given real ...
Partha's user avatar
  • 954
1 vote
0 answers
61 views

Is existence of a limit cycles an obstruction for a vector field to be a global Jacobi field?

Is there a Riemannian metric on $S^2$ and a vector field $X$ on $S^2$ with the following two properties? The vector field $X$ is globaly a Jacobi field in the sense that for every point $x\in S^2$ ...
Ali Taghavi's user avatar
4 votes
0 answers
511 views

Intrinsic numerical methods on Riemannian manifolds

I am interested in numerical methods for ordinary differential equations on a Riemannian manifold $M$. The general form of such an equation is $\dot x(t)=V(x(t)), x(0)=x_0 \in M$, where $V$ is a ...
Foivos's user avatar
  • 335
1 vote
0 answers
303 views

time-derivative and differential of a geodesic flow

I came across the following question in relation to another question. Let $X\colon M \to TM$ be a vector field over a manifold $M$ and let $$\phi_t = \exp(tX)$$ be the "geodesic flow" for the vector ...
user144437's user avatar
5 votes
1 answer
164 views

A non-geodesible foliation of $S^3$ or $S^2\times S^1$

Is there a $1$-dimensional foliation of $S^3$ which is not a geodesible foliation? Is there a $1$-dimensional foliation of $S^2\times S^1$ which is not a geodesible foliation? If the answer is ...
Ali Taghavi's user avatar
4 votes
1 answer
643 views

An integral of the Hodge-Neumann Laplacian on a Riemannian manifold

Background Let $M$ be a compact, oriented Riemannian manifold with boundary, with $\text{vol}$ the Riemannian volume form. Let $\nu$ be the outwards unit normal vector field on $\partial M$ and $\nu^\...
Iza_lazet's user avatar
  • 179
2 votes
0 answers
150 views

Global solution of second order ODE defined on riemannian manifold

Consider the differential equation $\nabla \dot X + \frac{3}{t} \dot X + gradf(X) =0$, defined on a riemannian manifold $(M,g)$ ($ \nabla$ is the Levi-Civita connection and $gradf(X)$ is the ...
Foivos's user avatar
  • 335
1 vote
1 answer
179 views

convergence and a mean curvature condition imply convexity

I have a question regarding the proof of theorem 4.6 in https://arxiv.org/abs/1007.3899 (Hall's conjecture). Let $S^2$ be the class of Borel subsets in $\mathbb{R}^2$ with finite and positive ...
TheAppliedTheoreticalOne's user avatar
3 votes
1 answer
195 views

An explicit formula for a flat metric compatible to certain polynomial vector field with center

Let $X$ be the following vector field on the plane: $$\begin{cases} x'=y\\ y'=-x-x^3\end{cases}\;\;\;\;\;(X)$$ The vector field $ (X)$ has a non isochronous center at the origin.The ...
Ali Taghavi's user avatar
3 votes
0 answers
165 views

Flat Riemannian metrics adapted to quadratic vector fields with center

Assume that $P(x,y),Q(x,y)\in \mathbb{R}[x,y]$ are two polynomials of degree $2$ with $P(0,0)=Q(0,0)=0.$ Suppose that the vector field $$\begin{cases} x'=P(x,y)\\ y'=Q(x,y) \end{cases}$$ has a center ...
Ali Taghavi's user avatar
1 vote
1 answer
317 views

Parallel transport in Riemannian manifold induces bounded mapping of vector bundles

Let $X$ and $Y$ be closed Riemannian manifolds and $f,g\colon X\to Y$ two $C^1$-mappings. Assume that for every $x\in X$ the points $f(x)$ and $g(x)$ can be joined by a unique shortest geodesic of $...
user103407's user avatar
2 votes
1 answer
148 views

Integrability of direct sum of some integrable distributions

Let $M$ be a smooth manifold and let $\Delta _i$ for $i=1,...,k$ be distributions of $TM$ which are integrable such that $\Delta_i \cap \Delta _j$ is zero distribution for $i \neq j$. Suppose $\Delta ...
user103173's user avatar
4 votes
2 answers
410 views

Can we convert any non-vanishing vector field into geodesic field by changing metric?

If $M$ is a smooth closed manifold together with a non-vanishing (maybe unit) vector field $X$. In what condition can we construct a Riemannian metric on $M$ s.t $X$ be the geodesic field of on $TM$?
Anubhav Mukherjee's user avatar
0 votes
1 answer
162 views

Solutions of this system of PDE's

This question is related to the existence of Einstein metrics on tangent bundles where the metric is induced by the isotropic almost complex structures on the tangent bundle. I'm trying this on the ...
Amir Baghban's user avatar
3 votes
1 answer
268 views

An answer to this system of PDE's

Planning of the question: Let $(M,g)$ be a Riemannian manifold and $TM$ be its tangent bundle The isotropic almost complex structures $J_{\delta , \sigma}$ were introduced by Aguilar on the ...
Amir Baghban's user avatar
1 vote
0 answers
82 views

Scattering in (pseudo-)Riemannian spaces

I will ask my question in a broad way, leaving a lot of freedom for answers. Suppose that we have a (pseudo-)Riemannian space $(M,g)$ and we fix some ball-like domain $B \subset M$. Suppose you are ...
5th decile's user avatar
  • 1,461
11 votes
1 answer
1k views

Solutions of equations characterizing a complex structure

Let $(S^n,g)$ denote the unit $n$-sphere endowed with its induced metric $g$ from its embedding into $\mathbb{R}^{n+1}$. The Levi-Civita connection of $g$ induces a splitting of the tangent bundle of $...
Amir Baghban's user avatar
2 votes
1 answer
499 views

On Harmonic Unit Vector Fields

When we restrict the Dirichlet energy functional to the set of all unit vector fields on a compact Riemannian manifold $(M,g)$, then the critical points of this functional are satisfied in $\Delta_g X=...
user avatar
4 votes
3 answers
5k views

Green's function on sphere

Consider radial (normal) coordinates on a sphere $S^n, n \geq 2$. Let the "origin" be the north pole $(0, 0,..., 1)$ and the coordinates be denoted by $(r, \theta)$. We know that the Laplacian $\...
guest's user avatar
  • 41
1 vote
0 answers
360 views

Comparing Dirichlet energy and area of a Surface-immersion

Let $(F,g)$ be a closed Surface, $(M,h)$ a Riemannian 3-Manifold and $f: F \to M$ a smooth immersion. Denote by $f^*(h)$ the pullback metric on $TF$ induced by $f$ and let $dV_g$ and $dV_{f^*(h)}$ be ...
H1ghfiv3's user avatar
  • 1,255
17 votes
1 answer
1k views

Vector field built from connection and metric

Consider a smooth finite-dimensional manifold $M$ with metric $g$ and connection $\nabla$. For some local coordinate system, denote by $g^{\alpha \beta}$ the inverse of the metric tensor and by $\...
Martin Hairer's user avatar
10 votes
3 answers
834 views

Rigorous justification that overdetermined systems do not have a solution

There is the following well known and very useful heuristic principle: Assume one has a natural map from the space of $k$-tuples of functions in $n$ variables into the space of $K$-tuples of functions ...
asv's user avatar
  • 21.8k
15 votes
1 answer
811 views

Is the heat kernel more spread out with a smaller metric?

Suppose M is a smooth manifold, and we have two Riemannian metrics on M, say g and h, with g bigger than h (i.e. for every tangent vector at every point, the norm according to g is bigger than the ...
Tom Price's user avatar
  • 804
7 votes
2 answers
2k views

The integral of torsion

I found the following * exercise (exercise *9) in page 407 of the book of do Carmo "Differential geometry of curves and surfaces". This problem is a classical theorem which is referenced ...
Ali Taghavi's user avatar
2 votes
1 answer
490 views

Curve on a surface defined by its geodesic curvature

Suppose that $S$ is a smooth complete surface, and $c\colon [0,L]\to S$ is a smooth curve in $S$, parametrized by arc-length. Then $c$ is uniquely determined by its initial tangent vector and its ...
Carlos Danger's user avatar
5 votes
1 answer
457 views

Can one use the continuity method to show that the two dimensional hyperbolic space can be immersed in five dimensional Euclidean space?

First of all, I must clarify at the outset that I am simply asking if there is an alternative way to solve an already known problem. It is known that the answer to my question is yes. The problem is ...
Ritwik's user avatar
  • 3,245
5 votes
1 answer
2k views

Prescribing the Lie derivative of the metric?

This is a question that arises from my research problem. Suppose $(M,g)$ is a compact Riemannian manifold with boundary and $g$ is smooth up to the boundary (if you like, take $M$ to be diffeomorphic ...
Kwong's user avatar
  • 51
3 votes
2 answers
845 views

How to solve the $C^\alpha$ Poisson equation on closed Riemannian manifolds?

To be specific, suppose $M$ is a closed oriented manifold, $g$ is a Riemannian metric of $M$. Let $\Delta_g$ be the Laplace-Beltrami operator w.r.t. $g$. Prove: Suppose $f\in C^\alpha(M)$ satisfies ...
Yuchen Liu's user avatar
  • 1,083
7 votes
1 answer
2k views

Existence, uniqueness, and smoothness of a solution to a first order PDE on Riemannian M

Let $\mathcal{M}$ be an $n$-dimensional compact Riemannian manifold, and let $\mathcal{A} \subset \mathcal{M}$ be an $n$-dimensional Riemannian submanifold. I wish to determine the local existence, ...
Eugene's user avatar
  • 94
6 votes
1 answer
1k views

Norms of higher derivatives of mappings between Riemannian manifolds

Let $M, N$ be Riemannian manifolds and $f: M \to N$ be a smooth map (I'm actually only considering diffeomorphisms (flows) $\Phi^t: M \to M$, but just for the sake of generality). The first ...
Jaap Eldering's user avatar
11 votes
1 answer
1k views

Prescribing Gaussian curvature

Let $K(r)$ be the piecewise function                            &...
Tom LaGatta's user avatar
  • 8,512
6 votes
3 answers
1k views

Jacobi fields on a "bump surface"

Consider a "bump surface" which looks like the following: Such a surface is rotationally symmetric, $C^2$-smooth, has positive curvature in the middle and negative curvature along the ring (the ...
Tom LaGatta's user avatar
  • 8,512