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

Lecture

Initial Problem Solutions

In course

MATH-301: Ordinary differential equations

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

This lecture covers the description of all solutions of the initial problem, including the totality of solutions and propositions providing proof. It discusses compactness, closure, and connectivity concepts, emphasizing the uniqueness of global solutions.

This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.

Watch on Mediaspace

Instructors (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

Official source

Ontological neighbourhood

Mathematics

Topology: General topology

Logic

Classical logic: First-order logic

Related concepts (32)

Compact space

In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all limiting values of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval [0,1] would be compact.

Relatively compact subspace

In mathematics, a relatively compact subspace (or relatively compact subset, or precompact subset) Y of a topological space X is a subset whose closure is compact. Every subset of a compact topological space is relatively compact (since a closed subset of a compact space is compact). And in an arbitrary topological space every subset of a relatively compact set is relatively compact. Every compact subset of a Hausdorff space is relatively compact.

Σ-compact space

In mathematics, a topological space is said to be σ-compact if it is the union of countably many compact subspaces. A space is said to be σ-locally compact if it is both σ-compact and (weakly) locally compact. That terminology can be somewhat confusing as it does not fit the usual pattern of σ-(property) meaning a countable union of spaces satisfying (property); that's why such spaces are more commonly referred to explicitly as σ-compact (weakly) locally compact, which is also equivalent to being exhaustible by compact sets.

Logical connective

In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. They can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective can be used to join the two atomic formulas and , rendering the complex formula . Common connectives include negation, disjunction, conjunction, implication, and equivalence.

Countably compact space

In mathematics a topological space is called countably compact if every countable open cover has a finite subcover. A topological space X is called countably compact if it satisfies any of the following equivalent conditions: (1) Every countable open cover of X has a finite subcover. (2) Every infinite set A in X has an ω-accumulation point in X. (3) Every sequence in X has an accumulation point in X. (4) Every countable family of closed subsets of X with an empty intersection has a finite subfamily with an empty intersection.

Related lectures (38)

Concept of Proof in Mathematics

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Harmonic Forms: Main Theorem

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Differential Forms Integration

Covers the integration of differential forms on smooth manifolds, including the concepts of closed and exact forms.

Propositions and Proofs

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Approximation of Zeta Function