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

Fonctions harmoniques sub/super

Dans cours

MATH-305: Introduction to partial differential equations

This is an introductory course on Elliptic Partial Differential Equations. The course will cover the theory of both classical and generalized (weak) solutions of elliptic PDEs. ...

Description

Cette séance de cours couvre le concept de fonctions sub / super harmoniques, en explorant leurs propriétés et leurs applications. L'instructeur explique les théorèmes liés à ces fonctions et fournit des preuves pour une meilleure compréhension. Les sujets incluent la contradiction dans les hypothèses, les hypothèses de positivité et de nuisance. La séance de cours se penche également sur les extensions de ces fonctions et des outils pour leur preuve.

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)

Fabio Nobile

Nicola De Nitti

Source officielle

Concepts associés (32)

Théorème

En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.

Théorèmes d'incomplétude de Gödel

Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert.

Démonstration (logique et mathématiques)

vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.

Proof by contradiction

In logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.

Contradiction

En logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles. On dit aussi que la formule est insatisfaisable, antilogique ou encore contradictoire. L’antilogie, de symbole , s’oppose à la tautologie qui est toujours vraie. La contradiction est une relation existant entre deux ou plusieurs termes ou deux ou plusieurs propositions dont l’un(e) affirme ce que l’autre nie : « A » et « non-A » sont contradictoires, les phrases « Tous les hommes sont barbus » et « Quelques hommes ne sont pas barbus » sont contradictoires.

Afficher plus

Séances de cours associées (29)

Formes harmoniques : théorème principal

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

Différenciation sous le signe intégral

Explore la différenciation sous le signe intégral et les conditions de différenciation, avec des exemples et des extensions aux fonctions à intervalles ouverts.

Différenciation sous le signe intégral

Explore la différenciation sous le signe intégral et la continuité des fonctions dans les intégrales.

Indépendance linéaire : le concept Wronskian

Explique le Wronskian et son rôle dans la détermination de l'indépendance linéaire des solutions aux équations différentielles.

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.

Afficher plus

Concepts associés (32)

Théorème

Théorèmes d'incomplétude de Gödel

Démonstration (logique et mathématiques)

Proof by contradiction

Contradiction

Afficher plus