Questions tagged [global-analysis]
In mathematics, global analysis, also called analysis on manifolds, is the study of the global and topological properties of differential equations on manifolds and vector space bundles.
66
questions
1
vote
0answers
25 views
How to show that $\left\{x^*\in X \mid \limsup_{y \to x,\;\|y\|=1}\frac{\langle x^*,y-x\rangle}{\|y-x\|} \le 0\right\} = \mathbb R x$ if $\|x\|=1$
Let $X$ be a Banach space with topological dual $X^\star$. Given an extended value function $f:X \to \mathbb R \cup \{+\infty\}$, defined its Fréchet subdifferential at a point $x \in X$ as
$$
\...
0
votes
0answers
17 views
Differential Operator and Trivialization Change in Lawson-Michelsohn
I am currently reading the excelent book by Lawson and Michelsohn on Spin Geometry. In chapter 3 paragraph 1, they define a differntial operator of order $m$ to be a $\mathbb{C}$-linear map of $\...
1
vote
0answers
23 views
How to compute the second fundamental form of the parallel surface [duplicate]
Given a regular surface $S$, we can compute the second fundamental form of it. Now, from the old surface, we can create a new one $T = S + tN$, where $t$ is the given fixed real number and $N$ is the ...
0
votes
0answers
21 views
How to estimate the probability of the type I error for the Bonferroni and Fisher tests?
I have the sample of 100 from Poisson distribution.
I have 1000 of similar hypothesis and the meta problem of testing the global hypothesis
$$\bigcap H_{0i}: E(X_i) = 5 \quad \text{vs.} \quad \bigcap ...
1
vote
1answer
77 views
Prove that solution blows up in finite time [duplicate]
I want to show that solution of this Cauchy problem
\begin{cases}
u'(t)=u(t)^2 + t \\
u(0)=0
\end{cases}
is defined for $t \in [0,\alpha]$, with $\alpha <3 $
I tried to integrate, but it's not ...
2
votes
0answers
61 views
Defining a general structure of “Calculus” [closed]
I've been thinking lately, is there a way to generalize the fundamental concepts of Calculus such as convergence, differentiability and integrability to it's "maximum potential"? That is, ...
6
votes
0answers
154 views
Fréchet manifold structure on space of sections
I know that the space $\mathsf{C}^\infty(M;N)$ of smooth maps from a closed (smooth) manifold $M$ to a (smooth) manifold $N$ is a Fréchet manifold. I have been looking for a more general version of ...
1
vote
1answer
61 views
Hodge star is conformally invariant on $\Lambda^{n/2}(V)$, for $n$ even
I am studying the Hodge star operator for the first time. I am trying to prove that for $n$ even, then for any $\omega \in \Lambda^{n/2}(V)$ $\star_g \omega= \star_{\tilde{g}} \omega$, where $g$ and $\...
4
votes
0answers
108 views
Generalizations of Sard-Smale Theorem
Sard-Smale theorem holds for Fredholm maps $f:M\rightarrow B$ between separable Banach manifolds $M,N$. There are some constrains relating the Fredholm index $\operatorname{ind}(f)$ of $f$ to its ...
1
vote
0answers
65 views
Using the covariant derivative for a Riemannian Metric for $H^1([0,1]; S^2)$
I am currently researching gradient flows on Riemannian Hilbert manifolds and in this paper, Trombe considers the Hilbert space $((H^1([0,1]; \mathbb{R}^3), \langle \cdot, \cdot \rangle_{H})$ with ...
5
votes
2answers
52 views
Rigorous global optimization
The work by Thomas Hales (see enter link description here) before the formal proof solves a number of global optimization problems that need to be solved exactly.
The strategy relies on following ...
1
vote
1answer
72 views
examples of non-flat, asymptotically flat manifold with non-positive curvature
I would like to know if there are any natural (e.g., physical) examples of non-flat, asymptotically flat manifold with non-positive sectional curvature? For example, any minimal surface of such a ...
2
votes
1answer
52 views
Computation involving codifferential and Hodge star
Let $(M,g)$ be an oriented Riemannian manifold. Then, the codifferential $\delta$ is given by $\delta \omega=-\star d \star \omega$, where $\star$ stands for the Hodge star, $d$ for the exterior ...
0
votes
0answers
75 views
geodesic balls in Riemannian manifolds with bounded geometry
Let $(M,g)$ be an open (:=complete, non-compact) Riemannian manifold with bounded geometry, in the sense that in some atlas of charts of radius $r_0>0$, the metric and all its derivatives are ...
1
vote
0answers
45 views
Is the functional $w \mapsto \int_0^1 | \ \| w(t) \| - 1 | \ dt$ $C^1$ or even smooth?
Let $H:= H(I;\mathbb{R}^3)$ be the space of $L^2$ + absolutely continuous functions with $L^2$ derivative.
For $w \in H$ consider the functional
$$\psi(w) = \int_0^1 | \ \| w(t) \|^2 - 1 | \ dt$$
...
5
votes
1answer
123 views
Ordinary and covariant derivative inequality: $ \| u\|_1 \leq C\left( \| \frac{Du}{dt} \|_0 + \|u\|_0 \right) $
Let $I=[0,1]$.
Define:
$H_0 = L^2(I,\mathbb{R}^3)$ with inner product $\langle u,v \rangle_0 = \int_0^1 \langle u(t), v(t) \rangle \text{ dt}$
$H_1 = W^{1,2}(I, \mathbb{R}^3)$ with inner product $\...
2
votes
1answer
115 views
Curvature of a homogenous manifold.
I was a reading a paper and it seemed to me that in one of the equations the authors used the fact if $M$ is a homogenous Riemannian manifold (i.e., the group of isometries of $M$ act transitively on $...
2
votes
1answer
77 views
Orientation forms on compact smooth manifolds are equivalenf if they have the same integral
I have a problem solving the following exercise (Ex. 22-15) from John M. Lee‘s „Introduction to smooth manifolds“.
The problem is the following:
Use the same technique as in the proof of the Darboux ...
8
votes
1answer
268 views
Confusion about definition of continuous spectrum
In discussions about the spectrum of hyperbolic surfaces, people seem to be interested in 'eigenvalues embedded in the continuous spectrum'. I am wondering which definition of the term 'continuous ...
2
votes
1answer
227 views
Global Implicit Function Theorem
I encounter the problem that I would like to extend the implicit function theorem (for real numbers) to a global version.
The classical implicit function theorem is given by the following:
Assume $F: ...
0
votes
0answers
45 views
Generalisation of the Hopf–Rinow theorem
Is their a generalisation of the Hopf–Rinow theorem to infinite dimensional manifolds (Frechet, Banach or Hilbert)?
I have actually never seen the prove of the Hopf–Rinow theorem so i don't know if ...
3
votes
1answer
151 views
Vector-valued forms inside the first jet bundle
On page 433 of "Self-duality in four-dimensional Riemannian geometry" by Atiyah, Hitchin and Singer, it is written that $p^*(E \otimes \Lambda^1) \subset p^*J_1(E)$, where $\Lambda^1 \to X$ is the ...
1
vote
0answers
17 views
What are examples of a second order operational tangent vector on an infinite dimensional Hilbert space.
In the book "a convenient setting for global analysis" they describe the order of an operational tangent vector on a convenient vector space.
http://www.mat.univie.ac.at/~michor/apbookh-ams.pdf
...
0
votes
1answer
154 views
non-negative curvature of space curve
I read in most of the textbook that "curvature of a space curve is always non-negative" but I could not understand the intuition behind this that why is so? Give some nice intuition and proof.
0
votes
1answer
89 views
Existence of canonical connection on trivial Banach bundle
Let $W$ be a (real) Banach space and $M$ be a (finite-dimensional) Manifold. Consider the trivial $W$-bundle $\pi: E \to M$ over $M$ with $E := W \times M$ and $\pi$ the second-factor projection. ...
0
votes
1answer
100 views
Diffeomorphisms and their derivatives
If a $C^k$ map $f: X\to Y$ where $X, Y$ are Banach spaces is a diffeomorphism. What can we say about $d_xf$, the differential of $f$ at $x\in X$? It is true that we have $$
\inf_{x\in X}\big|\det [...
5
votes
0answers
71 views
Has this functional been studied somewhere?
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
$\newcommand{\TM}{\operatorname{T\M}}$
$\newcommand{\TN}{\operatorname{T\N}}$
Let $\M,\N$ be Riemannian manifolds, $f:\M \to \N$ smooth. ...
3
votes
1answer
83 views
Why harmonicity is a local property?
Given two Riemannian manifolds $M,N$, we say that $f:M \to N$ is harmonic if it is a critical point of the Dirichlet energy functional.
More precisely, this means that for every variation $f_t$ of $...
1
vote
1answer
429 views
one parameter family of diffeomorphism $\phi_{t}$ of $\mathbb{R}^2$
I have the following question:
The one parameter family of diffeomorphism $\phi_{t}$ of $\mathbb{R}^2$ to itself for $t\in (\pi,\pi)$ is defined in polar coordinates $(r,\theta)$ by $$\phi_t(r,\...
1
vote
1answer
30 views
Let $G$ act smoothly on $M$, $(g,m) \rightarrow t_g (m) $ from the left. Why is $t_g \simeq id $ if $G$ connected?
Let $G$ act smoothly on $M$, $(g,m) \rightarrow t_g (m) $ from the left. Why is $t_g \simeq id $ if $G$ connected? I've seen this statement, but have no idea how to use connectedness here. Does anyone ...
0
votes
1answer
45 views
$G$ is a Lie group and $M$ a manifold. What does it mean that $G$ acts as a group of automorphism on $H^p (M, \mathbb{R} )$?
I stumbled upon this in Bredon and don't know how to understand this. What I have given is a smooth action from $G$ on $M$. I did not find any special definiton for the above phrase, so I expect an ...
2
votes
0answers
38 views
Let a compact group $G$ act on a manifold $M$. Why does G act as a group of automorphisms on $H^p (M, \mathbb{R} )?
Let $(\sigma , m) \rightarrow t_{\sigma}$ be this action. A definition for acting on a group of automorphisms I found here: Action via automorphism.
t^{*}_{\sigma} seems to be this action and I can ...
0
votes
1answer
174 views
Can one always find a basis of global vector fields $X_0 , \ldots , X_n$ for the tangent space $T_p M$ for a manifold $M$? [closed]
I know that locally that is possible, as for local coordinates $x_i$ $(\frac{\partial}{\partial x_i})_{i \in I}$ spans $T_p M$ and therefore, one gets a local vector field. How do I extend this one?
3
votes
0answers
123 views
Showing that $\bar\partial_J$ is a smooth section of Banach bundle
I am reading Chapter 3 (Moduli Spaces and Transversality) of "J-holomorphic curves and symplectic topology" by McDuff & Salamon. Fixing $k\in\mathbb N,p>1$ such that $kp>2$, they consider $\...
0
votes
0answers
500 views
Compute the first distributional derivative of a function
Consider $\Omega = (0,2) \subseteq \mathbb{R} $ to be a support of the function $f(x)$ defined as
$$ f(x) = \begin{cases}
x, &0 < x \leq 1\\
2, &1< x \leq 2
\end{cases}$$
I need to ...
0
votes
1answer
93 views
Show that $\int_{\mathbb{R}} \phi (x) dx= 0$
Let $\phi \in C_{c}^{\infty}\mathbb{(R)}$ . I need to show that $\int_{\mathbb{R}} \phi (x) dx = 0$ iff there exists a function $\psi \in C_{c}^{\infty}\mathbb{(R)}$ such that $\phi(x) = \psi ' (x)$.
...
2
votes
0answers
236 views
Friedrich extension of an elliptic operator
I'm working with elliptic operators on Riemannian manifolds.
In the case where the metric $g$ on $(M,g)$ is not complete, I understand that, for example, the Hodge laplacian may be not essentially ...
1
vote
0answers
40 views
A question regarding mollifers on Sobolev spaces on closed manifolds
Let $M$ be a closed Riemannian manifold and denote by $H^s(M), \, s\in \mathbb{R} $ the standard Sobolev spaces on $M$ defined using powers of $1+\triangle$. Let $J_n: \mathcal{D}'(M)\rightarrow \...
1
vote
0answers
24 views
Difference between Homogeneous first order operator and Homogeneous first order differential operator
By definition, a Homogeneous first order operator on the algebra of differentiable functions is an operator like $$ Df = \sum \phi_i \frac{\partial f}{\partial x_i} $$ where $\phi_i$ are ...
1
vote
1answer
35 views
Stuck at showing that $g_*f_* = (gf)_*$
Let $X,Y,Z$ be topological spaces and $f : X \rightarrow Y , g: Y \rightarrow Z$ be continuous functions. Consider $Sh(X) ,Sh(Y),Sh(Z)$ to be the set of sheaves over $X,Y,Z$ respectively.
Now we ...
6
votes
2answers
2k views
How to compute one-parameter group and corresponding vector fields
I have two related questions to ask -
$1)$ Let $\rho : \mathbb{R} \rightarrow G$ be a one-parameter group. ($\mathbb{R}$ and $G$ are Lie groups). If we take $G = S^1$ then the left invariant vector ...
0
votes
1answer
97 views
Show a sequence of sheaves is exact
Given $f : X \rightarrow Y$ , a continuous map, let $0 \rightarrow \Im \rightarrow \mathcal{F} \rightarrow \mathcal{H} \rightarrow 0$ be an exact sequence of sheaves on $Y$. I need to prove that $$ 0 ...
1
vote
1answer
45 views
Show bijective correspondence
Let $f : X \rightarrow Y$ be a continuous map. Let $\Im$ be a sheaf on $Y$ and $U \subseteq Y$ be an open subset. I need to show that there is a bijective correspondence between $(f^{-1} \Im)(f^{-1}(U)...
1
vote
0answers
40 views
Clarification in the definition of presheaf
I need a clarification in the definition of presheaf. If $X$ is a topological space then we define presheaf on $X$ to be an assignment to every open subset $U \subset X$ and to every pair of open sets ...
1
vote
2answers
270 views
Prove that a set of differentiable function on $\mathbb{R^n}$ is a sheaf
Let $X = \mathbb{R^n}$. For every open subset $U \subseteq X$ , consider a presheaf $ , \Gamma(U) := \{ f: U \rightarrow \mathbb{R} : f $ is differentiable$ \}$. I need to show that this presheaf is ...
1
vote
1answer
42 views
Restriction of a null set
Suppose you have a null set, $S$ in $\mathbb{R}^n$. Is it true than in that case, there always exists an immersion $i: \mathbb{R} \hookrightarrow \mathbb{R}^n $ such that for almost all $x \in \mathbb{...
4
votes
1answer
140 views
How to show the space of closed curve is Hilbert manifold?
In the picture below ,$(M,g)$ is a Riemannian manifold.
Why $\mathcal L_M$ is a Hilbert submanifold of $L^{1,2}(S^1,R^r)$ ?
Besides, what is the inner and name of $L^{1,2}(S^1,R^r)$ ?
The picture ...
1
vote
0answers
46 views
What are the differences among different notions of harmonic maps?
Given smooth (compact, if needed) Riemannian manifolds $M$ and $N$. There are at least 3 different notions of harmonic maps (shortly, HM):
weakly HM.
stationary HM.
minimizing HM.
It is well-known ...
2
votes
0answers
88 views
Condition for Dirichlet boundary conditions
Let D be a differential operator on a manifold with boundary. We consider the differential equation $Df = 0$ with Dirichlet-boundary-conditions $f|_{\partial M}= g$.
Are there cases, where not every ...
3
votes
0answers
104 views
How far can we push the Schwartz kernel theorem?
The Schwartz kernel theorem works for operators defined on $C_ {c}(\mathbb{R}^n,E)$, as long as $E$ is finite-dimensional and we introduce the right notion of a generalised section. In every ...
