Theorems in Riemannian geometry

Beltrami's theorem

In the mathematical field of differential geometry, any (pseudo-)Riemannian metric determines a certain class of paths known as geodesics. Beltrami's theorem, named for Italian mathematician Eugenio Beltrami, is a result on the inverse problem of determining a (pseudo-)Riemannian metric from its geodesics. It is nontrivial to see that, on any Riemannian manifold of constant curvature, there are smooth coordinates relative to which all nonconstant geodesics appear as straight lines. In the negative curvature case of hyperbolic geometry, this is justified by the Beltrami–Klein model. In the positive curvature case of spherical geometry, it is justified by the gnomonic projection. In the language of projective differential geometry, these charts show that any Riemannian manifold of constant curvature is locally projectively flat. More generally, any pseudo-Riemannian manifold of constant curvature is locally projectively flat. Beltrami's theorem asserts the converse: any connected pseudo-Riemannian manifold which is locally projectively flat must have constant curvature. With the use of tensor calculus, the proof is straightforward. Hermann Weyl described Beltrami's original proof (done in the two-dimensional Riemannian case) as being much more complicated. Relative to a projectively flat chart, there are functions ρi such that the Christoffel symbols take the form Direct calculation then shows that the Riemann curvature tensor is given by The curvature symmetry Rijkl + Rjikl = 0 implies that ∂i ρj = ∂j ρi. The other curvature symmetry Rijkl = Rklij, traced over i and l, then says that where n is the dimension of the manifold. It is direct to verify that the left-hand side is a (locally defined) Codazzi tensor, using only the given form of the Christoffel symbols. It follows from Schur's lemma that gil(∂i ρl − ρi ρl) is constant. Substituting the above identity into the Riemann tensor as given above, it follows that the chart domain has constant sectional curvature −1/ngil(∂i ρl − ρi ρl). By connectedness of the manifold, this local constancy implies global constancy. Beltrami's theorem may be phrased in the language of geodesic maps: if given a geodesic map between pseudo-Riemannian manifolds, one manifold has constant curvature if and only if the other does. (Wikipedia).

Video thumbnail

Beltrami Identity Derivation

The Beltrami Identity is a necessary condition for the Euler-Lagrange equation (so if it solves the E-L equation, it solves the Beltrami identity). Here it is derived from the total derivative of the integrand (e.g. Lagrangian).

From playlist Physics

Video thumbnail

Viviani's Theorem: "Proof" Without Words

Link: https://www.geogebra.org/m/BXUrfwxj

From playlist Geometry: Challenge Problems

Video thumbnail

C73 Introducing the theorem of Frobenius

The theorem of Frobenius allows us to calculate a solution around a regular singular point.

From playlist Differential Equations

Video thumbnail

Viviani's Theorem | Visualization and Proof

A visual proof of Viviani's theorem. For any point inside an equilateral triangle, the sum of its perpendicular distances from the three sides is constant. And, this sum is equal to the length of the triangle's altitude. Follow: https://instagram.com/doubleroot.in Music by CeeaDidIt from

From playlist Summer of Math Exposition Youtube Videos

Video thumbnail

A09 The Hamiltonian

Moving on from Lagrange's equation, I show you how to derive Hamilton's equation.

From playlist Physics ONE

Video thumbnail

Viviani’s theorem

This is a short, animated visual proof of Viviani's theorem, which states that the sum of the distances from any interior point to the sides of an equilateral triangle is equal to the length of the triangle's altitude. #math​ #geometry #mtbos​ #manim​ #animation​ #theorem​ #pww​ #proofwith

From playlist MathShorts

Video thumbnail

The golden ratio | Lecture 3 | Fibonacci Numbers and the Golden Ratio

The classical definition of the golden ratio. Two positive numbers are said to be in the golden ratio if the ratio between the larger number and the smaller number is the same as the ratio between their sum and the larger number. Phi=(1+sqrt(5))/2 approx 1.618. Join me on Coursera: http

From playlist Fibonacci Numbers and the Golden Ratio

Video thumbnail

The many facets of complexity of Beltrami fields in Euclidean space - Daniel Peralta-Salas

Workshop on the h-principle and beyond Topic: The many facets of complexity of Beltrami fields in Euclidean space Speaker: Daniel Peralta-Salas Affiliation: Instituto de Ciencias Matemáticas Date: November 02, 2021 Beltrami fields, that is vector fields on $\mathbb R^3$ whose curl is p

From playlist Mathematics

Video thumbnail

Oily-Maccaroni: A Curious Limit Definition!

Help me create more free content! =) https://www.patreon.com/mathable Merch :v - https://teespring.com/stores/papaflammy https://www.amazon.com/shop/flammablemaths https://shop.spreadshirt.de/papaflammy Become a Member of the Flammily! :0 https:

From playlist Number Theory

Video thumbnail

Looking at Euler flows through a contact mirror: Universality, Turing… - Eva Miranda

Workshop on the h-principle and beyond Topic: Looking at Euler flows through a contact mirror: Universality, Turing completeness and undecidability Speaker: Eva Miranda Affiliation: Universitat Politècnica de Catalunya Date: November 1, 2021 The dynamics of an inviscid and incompressible

From playlist Mathematics

Video thumbnail

Wild Weak Solutions to Equations arising in Hydrodynamics - 2/6 - Vlad Vicol

In this course, we will discuss the use of convex integration to construct wild weak solutions in the context of the Euler and Navier-Stokes equations. In particular, we will outline the resolution of Onsager's conjecture as well as the recent proof of non-uniqueness of weak solutions to t

From playlist Hadamard Lectures 2020 - Vlad Vicol and - Wild Weak Solutions to Equations arising in Hydrodynamics

Video thumbnail

First steps in hyperbolic geometry | Universal Hyperbolic Geometry 4 | NJ Wildberger

This video outlines the basic framework of universal hyperbolic geometry---as the projective study of a circle, or later on the projective study of relativistic geometry. Perpendicularity is defined in terms of duality, the pole-polar correspondence introduced by Apollonius, and we explain

From playlist Universal Hyperbolic Geometry

Video thumbnail

B24 Introduction to the Bernoulli Equation

The Bernoulli equation follows from a linear equation in standard form.

From playlist Differential Equations

Video thumbnail

Lecture 18: The Laplace Operator (Discrete Differential Geometry)

Full playlist: https://www.youtube.com/playlist?list=PL9_jI1bdZmz0hIrNCMQW1YmZysAiIYSSS For more information see http://geometry.cs.cmu.edu/ddg

From playlist Discrete Differential Geometry - CMU 15-458/858

Video thumbnail

On the dyadic Hilbert transform – Stefanie Petermichl – ICM2018

Analysis and Operator Algebras Invited Lecture 8.10 On the dyadic Hilbert transform Stefanie Petermichl Abstract: The Hilbert transform is an average of dyadic shift operators. These can be seen as a coefficient shift and multiplier in a Haar wavelet expansion or as a time shifted operat

From playlist Analysis & Operator Algebras

Video thumbnail

Yilin Wang - 4/4 The Loewner Energy at the Crossroad of Random Conformal Geometry (...)

The Loewner energy for Jordan curves first arises from the large deviations of Schramm-Loewner evolution (SLE), a family of random fractal curves modeling interfaces in 2D statistical mechanics. In a certain way, this energy measures the roundness of a Jordan curve, and we show that it is

From playlist Yilin Wang - The Loewner Energy at the Crossroad of Random Conformal Geometry and Teichmueller Theory

Video thumbnail

C. Leininger - Teichmüller spaces and pseudo-Anosov homeomorphism (Part 2)

I will start by describing the Teichmuller space of a surface of finite type from the perspective of both hyperbolic and complex structures and the action of the mapping class group on it. Then I will describe Thurston's compactification of Teichmuller space, and state his classification t

From playlist Ecole d'été 2018 - Teichmüller dynamics, mapping class groups and applications

Video thumbnail

Cayley-Hamilton Theorem: General Case

Matrix Theory: We state and prove the Cayley-Hamilton Theorem over a general field F. That is, we show each square matrix with entries in F satisfies its characteristic polynomial. We consider the special cases of diagonal and companion matrices before giving the proof.

From playlist Matrix Theory

Related pages

Hermann Weyl | Constant curvature | Geodesic | Tensor calculus | Schur's lemma (Riemannian geometry) | Differential geometry | Eugenio Beltrami | Projective differential geometry | Gnomonic projection | Hyperbolic geometry | Beltrami–Klein model | Riemann curvature tensor | Geodesic map | Pseudo-Riemannian manifold | Spherical geometry | Codazzi tensor