# 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.

72 questions
Filter by
Sorted by
Tagged with
29 views

### Gradient of a functional defined on an Hilbert space (with respect to a $W^{1,2}$ inner product)

$\newcommand{\R}{\mathbb R}$ Consider the Hilbert space $X = W^{1,2}(\R)\oplus W^{1,2}(\R)$ (Sobolev spaces). I define a function $F:X\to \R$ as $$F(u,g)= \int_\R u(t)\partial_tg(t) dt.$$ $F$ is ...
48 views

### Riemannian submersion with complete fibers is complete

Suppose $M\to N$ is a proper Riemannian submersion where $N$ and every fiber with the induced metric are complete. How to show that $M$ is also a complete Riemannian manifold? I know if the total ...
66 views

### Geodesically convexity and convexity in normal coordinates

This question regards an assertion in the proof of Theorem 1.3.1 of Douglas Moore's book "Introduction to Global Analysis, Minimal Surfaces in Riemannian Manifolds" (AMS, 2017). Assumptions/...
1 vote
37 views

### Melnikov's method, homoclinic orbits, and bifurcation values

In nonlinear dynamics, Melnikov's approach provides an intriguing way to detect homoclinic bifurcations and bifurcation values, i.e., the values of the parameter at which a dynamical system exhibits ...
42 views

### Sequences in $H^1$ which are orthonormal w.r.t. $L^2$ product

I'm currently reading about Jacobi fields and conjugate points in Riemannian Geometry and Global Analysis by Jost, and a few details are losing me (probably because I have a weak background in ...
• 4,327
56 views

• 8,299
1 vote
51 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 ...
• 733
1 vote
295 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 ...
• 675
67 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, ...
212 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 ...
• 113
1 vote
177 views

• 1,314
245 views

51 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 ...
• 188
179 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
20 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 ...
• 188
230 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.
122 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. ...
• 1,810
136 views

• 1,403
1 vote
32 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 ...
• 613
63 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 ...
• 613
46 views

704 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 ...
• 1,858
97 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)$. ...
• 1,858
267 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,190
1 vote
46 views

• 1,858
1 vote
44 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,858