Séance de cours

Principe de maximisation pour les équations elliptiques

Séances de cours associées (31)

Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.

Preuves : Logique, Mathématiques et Algorithmes

Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.

Théorèmes en analyse

Couvre le théorème de Meyers-Serrin en analyse, en discutant des conditions des fonctions dans différents espaces.

Formes harmoniques : théorème principal

Explore les formes harmoniques sur les surfaces de Riemann et l'unicité des solutions aux équations harmoniques.

Fonctions harmoniques sub/super

Explore les fonctions sub/super harmoniques et leurs applications dans un contexte théorique.

Integrals inappropriés: Convergence et comparaison

Explore les intégrales inappropriées, les critères de convergence, les théorèmes de comparaison et la révolution solide.

Curve Integrals: Gauss/Green Theorem

Explore l'application du théorème Gauss/Green pour calculer les intégrales de courbes le long de simples courbes fermées.

Coq: Introduction

Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.

Solutions fondamentales

Explore les solutions fondamentales dans les équations aux dérivées partielles, en soulignant leur importance dans les applications mathématiques.

Théorème des fonctions implicites

Couvre le Théorème des fonctions implicites, fournissant une compréhension générale des fonctions implicites.

Intégration de formes différentielles

Couvre l'intégration de formes différentielles sur des variétés lisses, y compris les concepts de formes fermées et exactes.

Intégration des fonctions de classe CnR

Explique l'intégration de la série Taylor pour les fonctions de classe CnR.

Approximation dans les espaces de Sobolev

Couvre l'approximation des fonctions dans les espaces de Sobolev en utilisant des fonctions lisses.

Courbes avec Poritsky Property et Liouville Nets

Explore les courbes avec la propriété Poritsky, l'intégrité Birkhoff et les filets Liouville dans les billards.

Fonctions harmoniques : propriétés et mollification

Couvre les propriétés des fonctions harmoniques et le concept de mollification.

Fonctions Thêta : Propriétés et Transformations

Explore les propriétés et les transformations des fonctions thêta, y compris les formes modulaires et les niveaux de treillis.

Algèbre booléenne : propriétés et optimisation

Couvre les propriétés de l'algèbre booléenne, les techniques d'optimisation et l'importance des groupes valides dans les cartes de Karnaugh.

Transport optimal : analyse et preuves

Explore l'analyse et les preuves de transport optimales, en mettant l'accent sur la faible convergence et la compacité.

Formules et solutions faibles: problèmes elliptiques

Explore les formulations et solutions faibles pour les problèmes elliptiques en utilisant les méthodes Galerkin.

Problèmes elliptiques : modèle et déformation

Couvre les problèmes elliptiques liés à un modèle et à la déformation, en discutant de concepts tels que le problème du modèle et l'énergie de déformation.