Condition aux limites de DirichletEn mathématiques, une condition aux limites de Dirichlet (nommée d’après Johann Dirichlet) est imposée à une équation différentielle ou à une équation aux dérivées partielles lorsque l'on spécifie les valeurs que la solution doit vérifier sur les frontières/limites du domaine. Pour une équation différentielle, par exemple : la condition aux limites de Dirichlet sur l'intervalle s'exprime par : où et sont deux nombres donnés.
Condition aux limites de RobinEn mathématique, une condition aux limites de Robin (ou de troisième type) est un type de condition aux limites portant le nom du mathématicien français Victor Gustave Robin (1855-1897), qui a travaillé dans le domaine de la thermodynamique. Elle est également appelée condition aux limites de Fourier. Imposée à une équation différentielle ordinaire ou à une équation aux dérivées partielles, il s'agit d'une relation linéaire entre les valeurs de la fonction et les valeurs de la dérivée de la fonction sur le bord du domaine.
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.
Condition aux limites de NeumannEn mathématiques, une condition aux limites de Neumann (nommée d'après Carl Neumann) est imposée à une équation différentielle ou à une équation aux dérivées partielles lorsque l'on spécifie les valeurs des dérivées que la solution doit vérifier sur les frontières/limites du domaine. Pour une équation différentielle, par exemple : la condition aux limites de Neumann sur l'intervalle s'exprime par : où et sont deux nombres donnés.
Cauchy boundary conditionIn mathematics, a Cauchy (koʃi) boundary condition augments an ordinary differential equation or a partial differential equation with conditions that the solution must satisfy on the boundary; ideally so as to ensure that a unique solution exists. A Cauchy boundary condition specifies both the function value and normal derivative on the boundary of the domain. This corresponds to imposing both a Dirichlet and a Neumann boundary condition. It is named after the prolific 19th-century French mathematical analyst Augustin-Louis Cauchy.
Condition aux limites mêléeEn mathématiques, une condition aux limites mêlée ou mixte correspond à la juxtaposition de différentes conditions aux limites sur différentes parties du bord (ou frontière) du domaine dans lequel est posée une équation aux dérivées partielles ou une équation différentielle ordinaire. Par exemple, si l'on considère les vibrations d'une corde élastique de longueur L se déplaçant à une vitesse c dont une extrémité (en 0) est fixe, et l'autre (en L) est attachée à un anneau oscillant librement le long d'une tige droite, on a alors une équation sur un intervalle [0,L].
Crochet de PoissonEn mécanique hamiltonienne, on définit le crochet de Poisson de deux observables et , c'est-à-dire de deux fonctions sur l'espace des phases d'un système physique, par : où les variables, dites canoniques, sont les coordonnées généralisées et les moments conjugués . C'est un cas particulier de crochet de Lie. Avant de continuer, soulignons au passage qu'il existe deux conventions de signes au crochet de Poisson. La définition donnée ci-haut est dans la convention de signe employée par Dirac, Arnold , Goldstein et de Gosson pour n'en citer que quelques-uns.
Variété de PoissonEn géométrie, une structure de Poisson sur une variété différentielle est un crochet de Lie (appelé crochet de Poisson dans ce cas) sur l'algèbre des fonctions lisses de à valeurs réelles, vérifiant formule de Leibniz En d'autres termes, une structure de Poisson est structure d'algèbre de Lie sur l'espace vectoriel des fonctions lisses sur de sorte que est un champ de vecteurs pour toute fonction lisse , appelé champ de vecteurs hamiltonien associé à . Soit une variété différentielle.
Siméon Denis PoissonSiméon Denis Poisson ( à Pithiviers - à Sceaux) est un mathématicien, géomètre et physicien français. Sa contribution la plus essentielle concerne l’électricité et le magnétisme qu’il contribua à fonder mais il eut également une influence en astronomie, notamment sur l’attraction des planètes. vignette|Maison natale à Pithiviers. Son père servait comme simple soldat lors des guerres du Hanovre mais, dégoûté par le mauvais traitement qu’il reçut des officiers nobles, il déserta.
Forme (botanique)En botanique et en mycologie, la forme (du latin forma, souvent abrégé en « fo. » ou « f. ») est une entité ou taxon de rang inférieur à l’espèce et à la variété. La forme étant la plus petite coupure taxinomique dans la systématique et la classification du monde vivant, la plus proche de « l’individu » en présence. Par exemple, quand nous disons que nous avons dans notre assiette la « forme blanche » du Champignon de Paris, nous faisons empiriquement la même division que le mycologue qui l’a nommée par le trinôme Agaricus bisporus fo.
Forme (zoologie)En zoologie, le mot forme (forma en latin) est un terme strictement informel parfois utilisé pour décrire des organismes. Selon le Code international de nomenclature zoologique, ce terme n'a aucune valeur (il n'est pas accepté). En d'autres termes, bien que les noms de formes soient latins et qu'ils soient parfois ajoutés à tort à un nom binominal, dans un contexte zoologique, les formes n'ont aucune signification taxinomique.
Fonction convexevignette|upright=1.5|droite|Fonction convexe. En mathématiques, une fonction réelle d'une variable réelle est dite convexe : si quels que soient deux points et du graphe de la fonction, le segment est entièrement situé au-dessus du graphe, c’est-à-dire que la courbe représentative de la fonction se situe toujours en dessous de ses cordes ; ou si l'épigraphe de la fonction (l'ensemble des points qui sont au-dessus de son graphe) est un ensemble convexe ; ou si vu d'en dessous, le graphe de la fonction est en bosse.
Ensemble convexeUn objet géométrique est dit convexe lorsque, chaque fois qu'on y prend deux points et , le segment qui les joint y est entièrement contenu. Ainsi un cube plein, un disque ou une boule sont convexes, mais un objet creux ou bosselé ne l'est pas. On suppose travailler dans un contexte où le segment reliant deux points quelconques et a un sens (par exemple dans un espace affine sur R — en particulier dans un espace affine sur C — ou dans un ).
Espace uniformément convexeEn mathématiques, un espace uniformément convexe est un espace vectoriel muni d'une norme dont les boules sont « bien arrondies », en un sens plus fort que dans un espace strictement convexe. Tout espace de Banach uniformément convexe est réflexif. Ces espaces comprennent les espaces de Hilbert et les espaces L pour 1 < p < ∞. Un espace uniformément convexe est un espace de Banach — ou seulement, selon les auteurs, un espace vectoriel normé — tel que, pour tout ε > 0, il existe un δ > 0 pour lequel, pour tout couple (x, y) de vecteurs, ou encore : pour tout ε > 0, il existe un η > 0 pour lequel, pour tout couple (x, y) de vecteurs, Le concept de convexité uniforme a été introduit par .
Enveloppe convexeL'enveloppe convexe d'un objet ou d'un regroupement d'objets géométriques est l'ensemble convexe le plus petit parmi ceux qui le contiennent. Dans un plan, l'enveloppe convexe peut être comparée à la région limitée par un élastique qui englobe tous les points qu'on relâche jusqu'à ce qu'il se contracte au maximum. L'idée serait la même dans l'espace avec un ballon qui se dégonflerait jusqu'à être en contact avec tous les points qui sont à la surface de l'enveloppe convexe.
Espace de Hilbertvignette|Une photographie de David Hilbert (1862 - 1943) qui a donné son nom aux espaces dont il est question dans cet article. En mathématiques, un espace de Hilbert est un espace vectoriel réel (resp. complexe) muni d'un produit scalaire euclidien (resp. hermitien), qui permet de mesurer des longueurs et des angles et de définir une orthogonalité. De plus, un espace de Hilbert est complet, ce qui permet d'y appliquer des techniques d'analyse. Ces espaces doivent leur nom au mathématicien allemand David Hilbert.
Espresso heuristic logic minimizerThe ESPRESSO logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital logic gate circuits. ESPRESSO-I was originally developed at IBM by Robert K. Brayton et al. in 1982. and improved as ESPRESSO-II in 1984. Richard L. Rudell later published the variant ESPRESSO-MV in 1986 and ESPRESSO-EXACT in 1987. Espresso has inspired many derivatives. Electronic devices are composed of numerous blocks of digital circuits, the combination of which performs the required task.
Solution aqueusevignette|Photo montrant la préparation d'une solution aqueuse au moment où est versé le soluté. En chimie, une solution aqueuse est une phase liquide contenant plusieurs espèces chimiques, dont une ultramajoritaire, l'eau (H2O, le solvant), et des espèces ultraminoritaires, les solutés ou « espèces chimiques dissoutes ».
Logic optimizationLogic optimization is a process of finding an equivalent representation of the specified logic circuit under one or more specified constraints. This process is a part of a logic synthesis applied in digital electronics and integrated circuit design. Generally, the circuit is constrained to a minimum chip area meeting a predefined response delay. The goal of logic optimization of a given circuit is to obtain the smallest logic circuit that evaluates to the same values as the original one.
Espace localement convexeEn mathématiques, un espace localement convexe est un espace vectoriel topologique dont la topologie peut être définie à l'aide d'une famille de semi-normes. C'est une généralisation de la notion d'espace normé. Un espace vectoriel topologique E est dit localement convexe s'il vérifie l'une des deux propriétés équivalentes suivantes : il existe une famille de semi-normes telle que la topologie de E est initiale pour l'ensemble d'applications ; le vecteur nul possède une base de voisinages formée de convexes.
