Control theory | Theorems in dynamical systems
In mathematics, Krener's theorem is a result attributed to Arthur J. Krener in geometric control theory about the topological properties of of finite-dimensional control systems. It states that any attainable set of a system has nonempty interior or, equivalently, that any attainable set has nonempty interior in the topology of the corresponding orbit. Heuristically, Krener's theorem prohibits attainable sets from being hairy. (Wikipedia).
Arthur Krener: "Al'brekht’s Method in Infinite Dimensions"
High Dimensional Hamilton-Jacobi PDEs 2020 Workshop I: High Dimensional Hamilton-Jacobi Methods in Control and Differential Games "Al'brekht’s Method in Infinite Dimensions" Arthur Krener, Naval Postgraduate School Abstract: Al'brekht's method is a way optimally stabilize a finite dimens
From playlist High Dimensional Hamilton-Jacobi PDEs 2020
Introduction to additive combinatorics lecture 1.8 --- Plünnecke's theorem
In this video I present a proof of Plünnecke's theorem due to George Petridis, which also uses some arguments of Imre Ruzsa. Plünnecke's theorem is a very useful tool in additive combinatorics, which implies that if A is a set of integers such that |A+A| is at most C|A|, then for any pair
From playlist Introduction to Additive Combinatorics (Cambridge Part III course)
Berge's lemma, an animated proof
Berge's lemma is a mathematical theorem in graph theory which states that a matching in a graph is of maximum cardinality if and only if it has no augmenting paths. But what do those terms even mean? And how do we prove Berge's lemma to be true? == CORRECTION: at 7:50, the red text should
From playlist Summer of Math Exposition Youtube Videos
P. Scholze - p-adic K-theory of p-adic rings
The original proof of Grothendieck's purity conjecture in étale cohomology (the Thomason-Gabber theorem) relies on results on l-adic K-theory and its relation to étale cohomology when l is invertible. Using recent advances of Clausen-Mathew-Morrow and joint work with Bhatt and Morrow, our
From playlist Arithmetic and Algebraic Geometry: A conference in honor of Ofer Gabber on the occasion of his 60th birthday
Title: Algorithms for Checking Global Identifiability
From playlist Fall 2017
Gleb Pogudin 09/01/17 Slides Part 1
To view board notes at 29:10, see the following video: https://youtu.be/PW3PZkLz98E#t=29m45s
From playlist Fall 2017
Dimitri Zvonkine - On two ELSV formulas
The ELSV formula (discovered by Ekedahl, Lando, Shapiro and Vainshtein) is an equality between two numbers. The first one is a Hurwitz number that can be defined as the number of factorizations of a given permutation into transpositions. The second is the integral of a characteristic class
From playlist 4th Itzykson Colloquium - Moduli Spaces and Quantum Curves
Introduction to additive combinatorics lecture 5.8 --- Freiman homomorphisms and isomorphisms.
The notion of a Freiman homomorphism and the closely related notion of a Freiman isomorphism are fundamental concepts in additive combinatorics. Here I explain what they are and prove a lemma that states that a subset A of F_p^N such that kA - kA is not too large is "k-isomorphic" to a sub
From playlist Introduction to Additive Combinatorics (Cambridge Part III course)
Introduction to additive combinatorics lecture 10.8 --- A weak form of Freiman's theorem
In this short video I explain how the proof of Freiman's theorem for subsets of Z differs from the proof given earlier for subsets of F_p^N. The answer is not very much: the main differences are due to the fact that cyclic groups of prime order do not have lots of subgroups, so one has to
From playlist Introduction to Additive Combinatorics (Cambridge Part III course)
Weil conjectures 1 Introduction
This talk is the first of a series of talks on the Weil conejctures. We recall properties of the Riemann zeta function, and describe how Artin used these to motivate the definition of the zeta function of a curve over a finite field. We then describe Weil's generalization of this to varie
From playlist Algebraic geometry: extra topics
Maxim Kazarian - 1/3 Mathematical Physics of Hurwitz numbers
Hurwitz numbers enumerate ramified coverings of a sphere. Equivalently, they can be expressed in terms of combinatorics of the symmetric group; they enumerate factorizations of permutations as products of transpositions. It turns out that these numbers obey a huge num
From playlist Physique mathématique des nombres de Hurwitz pour débutants
Euler's Formula for the Quaternions
In this video, we will derive Euler's formula using a quaternion power, instead of a complex power, which will allow us to calculate quaternion exponentials such as e^(i+j+k). If you like quaternions, this is a pretty neat formula and a simple generalization of Euler's formula for complex
From playlist Math
Calculus 1 (Stewart) Ep 22, Mean Value Theorem (Oct 28, 2021)
This is a recording of a live class for Math 1171, Calculus 1, an undergraduate course for math majors (and others) at Fairfield University, Fall 2021. The textbook is Stewart. PDF of the written notes, and a list of all episodes is at the class website. Class website: http://cstaecker.f
From playlist Math 1171 (Calculus 1) Fall 2021
Equidistribution of Unipotent Random Walks on Homogeneous spaces by Emmanuel Breuillard
PROGRAM : ERGODIC THEORY AND DYNAMICAL SYSTEMS (HYBRID) ORGANIZERS : C. S. Aravinda (TIFR-CAM, Bengaluru), Anish Ghosh (TIFR, Mumbai) and Riddhi Shah (JNU, New Delhi) DATE : 05 December 2022 to 16 December 2022 VENUE : Ramanujan Lecture Hall and Online The programme will have an emphasis
From playlist Ergodic Theory and Dynamical Systems 2022
What is Green's theorem? Chris Tisdell UNSW
This lecture discusses Green's theorem in the plane. Green's theorem not only gives a relationship between double integrals and line integrals, but it also gives a relationship between "curl" and "circulation". In addition, Gauss' divergence theorem in the plane is also discussed, whic
From playlist Vector Calculus @ UNSW Sydney. Dr Chris Tisdell
Real Analysis Ep 32: The Mean Value Theorem
Episode 32 of my videos for my undergraduate Real Analysis course at Fairfield University. This is a recording of a live class. This episode is more about the mean value theorem and related ideas. Class webpage: http://cstaecker.fairfield.edu/~cstaecker/courses/2020f3371/ Chris Staecker
From playlist Math 3371 (Real analysis) Fall 2020
Pythagorean theorem - What is it?
► My Geometry course: https://www.kristakingmath.com/geometry-course Pythagorean theorem is super important in math. You will probably learn about it for the first time in Algebra, but you will literally use it in Algebra, Geometry, Trigonometry, Precalculus, Calculus, and beyond! That’s
From playlist Geometry
Wolfram Physics Project: Working Session Sept. 15, 2020 [Physicalization of Metamathematics]
This is a Wolfram Physics Project working session on metamathematics and its physicalization in the Wolfram Model. Begins at 10:15 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the
From playlist Wolfram Physics Project Livestream Archive
Proof of Lemma and Lagrange's Theorem
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Proof of Lemma and Lagrange's Theorem. This video starts by proving that any two right cosets have the same cardinality. Then we prove Lagrange's Theorem which says that if H is a subgroup of a finite group G then the order of H div
From playlist Abstract Algebra
Johnathan Bush (7/8/2020): Borsuk–Ulam theorems for maps into higher-dimensional codomains
Title: Borsuk–Ulam theorems for maps into higher-dimensional codomains Abstract: I will describe Borsuk-Ulam theorems for maps of spheres into higher-dimensional codomains. Given a continuous map from a sphere to Euclidean space, we say the map is odd if it respects the standard antipodal
From playlist AATRN 2020