Programme de HamiltonLe programme de Hamilton est un « plan d'attaque », proposé par Richard S. Hamilton, de certains problèmes en topologie des variétés, notamment la célèbre conjecture de Poincaré. Cet article tente de décrire les raisons d'être de ce programme sans entrer dans les détails. Dans son article fondateur de 1982, Three-manifolds with positive Ricci curvature, Richard S. Hamilton introduit le flot de Ricci nommé d'après le mathématicien Gregorio Ricci-Curbastro.
Application harmoniqueEn géométrie différentielle, une application régulière définie d'une variété riemannienne dans une autre est dite harmonique lorsqu'elle est solution d'une certaine équation aux dérivées partielles généralisant l'équation de Laplace. L'équation des applications harmoniques est en général introduite pour résoudre un problème variationnel ; il s'agit de l'équation d'Euler-Lagrange associée à la recherche des points critiques de l'énergie de Dirichlet des applications entre les deux variétés.
Automate finithumb|upright=2|Fig. 1 : Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Méthode des éléments finisEn analyse numérique, la méthode des éléments finis (MEF, ou FEM pour finite element method en anglais) est utilisée pour résoudre numériquement des équations aux dérivées partielles. Celles-ci peuvent par exemple représenter analytiquement le comportement dynamique de certains systèmes physiques (mécaniques, thermodynamiques, acoustiques).
Méthode des différences finiesEn analyse numérique, la méthode des différences finies est une technique courante de recherche de solutions approchées d'équations aux dérivées partielles qui consiste à résoudre un système de relations (schéma numérique) liant les valeurs des fonctions inconnues en certains points suffisamment proches les uns des autres. Cette méthode apparaît comme étant la plus simple à mettre en œuvre car elle procède en deux étapes : d'une part la discrétisation par différences finies des opérateurs de dérivation/différentiation, d'autre part la convergence du schéma numérique ainsi obtenu lorsque la distance entre les points diminue.
Fonction harmoniqueEn mathématiques, une fonction harmonique est une fonction qui satisfait l'équation de Laplace. Un problème classique concernant les fonctions harmoniques est le problème de Dirichlet : étant donné une fonction continue définie sur la frontière d'un ouvert, peut-on la prolonger par une fonction qui soit harmonique en tout point de l'ouvert ? L'équation est appelée équation de Laplace. Une fonction harmonique est donc, par définition, une solution de cette équation. Les fonctions constantes sont harmoniques sur .
Problème aux limitesEn analyse, un problème aux limites est constitué d'une équation différentielle (ou plus généralement aux dérivées partielles) dont on recherche une solution prenant de plus des valeurs imposées en des limites du domaine de résolution. Contrairement au problème analogue dit de Cauchy, où une ou plusieurs conditions en un même endroit sont imposées (typiquement la valeur de la solution et de ses dérivées successives en un point), auquel le théorème de Cauchy-Lipschitz apporte une réponse générale, les problèmes aux limites sont souvent des problèmes difficiles, et dont la résolution peut à chaque fois conduire à des considérations différentes.
Équation de LaplaceEn analyse vectorielle, l'équation de Laplace est une équation aux dérivées partielles elliptique du second ordre, dont le nom est un hommage au physicien mathématicien Pierre-Simon de Laplace. Introduite pour les besoins de la mécanique newtonienne, l'équation de Laplace apparaît dans de nombreuses autres branches de la physique théorique : astronomie, électrostatique, mécanique des fluides, propagation de la chaleur, diffusion, mouvement brownien, mécanique quantique.
Automate fini déterministeUn automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d'entrée. Un tel automate se distingue ainsi d'un automate fini non déterministe, où au contraire plusieurs possibilités de transitions peuvent exister simultanément pour un état et un symbole d'entrée donné.
Ensemble finiEn mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier. Un ensemble infini est un ensemble qui n'est pas fini. Ainsi l'ensemble des chiffres usuels (en base dix) {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} qui possède 10 éléments, est fini. De même l'ensemble des lettres de l'alphabet qui possède 26 éléments. L'ensemble de tous les nombres entiers naturels {0, 1, 2, 3,..., 10,..., 100,...
Automate fini non déterministeUn automate fini (on dit parfois, par une traduction littérale de l'anglais, machine à états finis, au lieu de machine avec un nombre fini d'états ou machine à états finie ou machine finie à états), finite-state automaton ou finite-state machine (FSA, FSM), est une machine abstraite qui est un outil fondamental en mathématiques discrètes et en informatique. On les retrouve dans la modélisation de processus, le contrôle, les protocoles de communication, la vérification de programmes, la théorie de la calculabilité, dans l'étude des langages formels et en compilation.
Méthode des volumes finisEn analyse numérique, la méthode des volumes finis est utilisée pour résoudre numériquement des équations aux dérivées partielles, comme la méthode des différences finies et celle des éléments finis. Contrairement à la méthode des différences finies, qui met en jeu des approximations des dérivées, les méthodes des volumes finis et des éléments finis exploitent des approximations d'intégrales.
Théorie des écoulements à potentiel de vitessevignette|Diagrammes plan d'écoulement des fluides autour d'un cylindre et d'un profil d'aile En mécanique des fluides, la théorie des écoulements à potentiel de vitesse est une théorie des écoulements de fluide où la viscosité est négligée. Elle est très employée en hydrodynamique. La théorie se propose de résoudre les équations de Navier-Stokes dans les conditions suivantes : l'écoulement est stationnaire le fluide n'est pas visqueux il n'y a pas d'action externe (flux de chaleur, électromagnétisme, gravité .
Maupertuis's principleIn classical mechanics, Maupertuis's principle (named after Pierre Louis Maupertuis) states that the path followed by a physical system is the one of least length (with a suitable interpretation of path and length). It is a special case of the more generally stated principle of least action. Using the calculus of variations, it results in an integral equation formulation of the equations of motion for the system. Maupertuis's principle states that the true path of a system described by generalized coordinates between two specified states and is a stationary point (i.
Principe de FermatLe principe de Fermat est un principe physique, attribué à Pierre de Fermat, qui sert de fondement à l'optique géométrique. Il décrit la forme du chemin optique d'un rayon lumineux et s'énonce ainsi : Une conséquence première du principe de Fermat est la propagation rectiligne des rayons lumineux dans les milieux homogènes. En effet, dans un milieu homogène, le temps de parcours est proportionnel à la longueur du trajet, et le chemin le plus court dans un espace euclidien pour aller d’un point à un autre est la ligne droite.
Hamilton's principleIn physics, Hamilton's principle is William Rowan Hamilton's formulation of the principle of stationary action. It states that the dynamics of a physical system are determined by a variational problem for a functional based on a single function, the Lagrangian, which may contain all physical information concerning the system and the forces acting on it. The variational problem is equivalent to and allows for the derivation of the differential equations of motion of the physical system.
Dedekind-infinite setIn mathematics, a set A is Dedekind-infinite (named after the German mathematician Richard Dedekind) if some proper subset B of A is equinumerous to A. Explicitly, this means that there exists a bijective function from A onto some proper subset B of A. A set is Dedekind-finite if it is not Dedekind-infinite (i.e., no such bijection exists). Proposed by Dedekind in 1888, Dedekind-infiniteness was the first definition of "infinite" that did not rely on the definition of the natural numbers.
