Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Solutions initiales aux problèmes

Dans cours

MATH-301: Equations différentielles ordinaires

Ce cours donne une introduction rigoureuse au principaux thèmes de la théorie des équations différentielles ordinaires (EDO). Les EDO sont fondamentales pour l'étude des systèmes dynamiques et des équations aux dérivées partielles. Des applications dans ce ...

Description

Cette séance de cours couvre la description de toutes les solutions du problème initial, y compris la totalité des solutions et des propositions fournissant des preuves. Il traite de la compacité, de la fermeture et des concepts de connectivité, en soulignant le caractère unique des solutions globales.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Enseignant·e·s (2)

François Samer Genoud

2000-2005 Etudes en Physique à l'EPFL dont une année d'échange à Zürich (ETH, 2002-2003). 2005 Diplôme de Physicien EPF (Master) en physique mathématique, sous la direction du Prof. C.-E. Pfister. 2005-2008 Doctorat sous la direction du Prof. C.A. Stuart, sur l'étude de certaines équations de Schrödinger non-linéaires, en particulier de questions liées à l'existence et la stabilité orbitale d'ondes stationnaires. 2009-2010 Chercheur postdoc FNS à OxPDE, Université d'Oxford. 2010-2013 Chercheur postdoc à l'Université Heriot-Watt, Edimbourg. 2013-2014 Chercheur postdoc à l'Université de Vienne. 2015-2017 Professeur Assistant à TU Delft. 2017-2018 Professeur Associé à l'Université libre de Bruxelles. 2018- Directeur du CMS Domaines d'intérêt scientifique: analyse non-linéaire, calcul des variations, équations aux dérivées partielles, physique mathématique et physique théorique en général.

Joachim Krieger

Source officielle

Proximité ontologique

Mathématiques

Topologie: General topology

Logique

Logique classique: Calcul des prédicats

Concepts associés (32)

Compacité (mathématiques)

En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la propriété de Borel-Lebesgue. La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le théorème des bornes généralisé ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact.

Partie relativement compacte

En mathématiques, une partie relativement compacte d'un espace topologique X est un sous-ensemble Y de X inclus dans une partie compacte de X (pour la topologie induite). Rappelons que dans la littérature française, un compact est supposé séparé. Si X est séparé, alors une partie de X est relativement compacte (si et) seulement si son adhérence est compacte. Dans un espace métrisable X, une partie Y est relativement compacte si et seulement si toute suite dans Y possède une sous-suite qui converge dans X.

Espace σ-compact

En mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).

Connecteur logique

En logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.

Espace dénombrablement compact

En mathématiques, un espace dénombrablement compact est un espace topologique dont tout recouvrement par une famille dénombrable d'ouverts possède un sous-recouvrement fini. La notion de compacité dénombrable entretient des rapports étroits avec celles de quasi-compacité et compacité et celle de compacité séquentielle. Pour un espace métrisable, ces quatre notions sont équivalentes. Soit X un espace topologique (non supposé séparé).

Afficher plus

Séances de cours associées (38)

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Formes harmoniques : théorème principal

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

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.

Propositions et preuves

Explore les propositions, les preuves et la contradiction dans la théorie mathématique, en mettant l'accent sur les règles logiques et les méthodes de preuve.

Approximation de la fonction Zeta

Explore l'approximation de la fonction zêta en utilisant des fonctions compactes et une décomposition spectrale.

Afficher plus

Concepts associés (32)

Compacité (mathématiques)

Partie relativement compacte

Espace σ-compact

Connecteur logique

Espace dénombrablement compact

Afficher plus