Séance de cours

Fonctions harmoniques sub/super

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

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.

Enseignant·e·s (2)

Fabio Nobile

Enseignement et PhD Doctorant·es actuel·les Veronica Montanaro, Matteo Raviola, Francesca Bettinelli, Eliott Van Dieren, Riccardo Saporiti, Giacomo Mossinelli, Noé Stauffer, Fabio Zoccolan A dirigé les thèses EPFL de Diane Sylvie Guignard, Francesco Tesei, Eleonora Musharbash, Matthieu Claude Martin, Davide Pradovera, Sundar Subramaniam Ganesh, Eva Vidlicková, Juan Pablo Madrigal Cianci, Andrea Zanoni, Thomas Simon Spencer Trigo Trindade A co-dirigé les thèses EPFL de Michele Pisaroni Cours Analyse avan

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 (64)

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 : propriétés et mollification

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

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.

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.

Approximation dans les espaces de Sobolev

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

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