Control theory | Theorems in dynamical systems

Krener's theorem

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

Video thumbnail

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

Video thumbnail

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)

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Gleb Pogudin 09/01/17 Part 1

Title: Algorithms for Checking Global Identifiability

From playlist Fall 2017

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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)

Video thumbnail

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)

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Control theory | Hairy ball theorem | Lie bracket of vector fields | Orbit (control theory) | Lie algebra