Théorème de Helmholtz-HodgeEn mathématiques et en physique, dans le domaine de l’analyse vectorielle, le théorème de Helmholtz-Hodge, également appelé théorème fondamental du calcul vectoriel, assure qu'un champ vectoriel se décompose en une composante « longitudinale » (irrotationnelle) et une composante « transverse » (solénoïdale), soit la somme du gradient d’un champ scalaire et du rotationnel d’un champ vectoriel. Ce résultat possède des applications importantes en électromagnétisme et en mécanique des fluides ; il est également exploité en sismologie.
Champ solénoïdalthumb|Champ solénoïdal En analyse vectorielle, un champ solénoïdal ou champ incompressible désigne un champ vectoriel dont la divergence est nulle, ou de manière équivalente dont le flot préserve le volume euclidien. L’incompressibilité fait référence à la conservation du volume.
Divergence (analyse vectorielle)vignette|Les lignes bleues représentant les gradients de couleur, du plus clair au plus foncé. L'opérateur divergence permet de calculer, localement, la variation de ce gradient de couleur vignette|Illustration de la divergence d'un champ vectoriel, ici champ de vitesse converge à gauche et diverge à droite. En géométrie, la divergence d'un champ de vecteurs est un opérateur différentiel mesurant le défaut de conservation du volume sous l'action du flot de ce champ.
Théorème de la divergenceEn analyse vectorielle, le théorème de la divergence (également appelé théorème de Green-Ostrogradski ou théorème de flux-divergence), affirme l'égalité entre l'intégrale de la divergence d'un champ vectoriel sur un volume dans et le flux de ce champ à travers la frontière du volume (qui est une intégrale de surface). L'égalité est la suivante : où : est le volume ; est la frontière de est le vecteur normal à la surface, dirigé vers l'extérieur et de norme égale à l'élément de surface qu'il représente est continûment dérivable en tout point de ; est l'opérateur nabla ; (valable uniquement en coordonnées cartésiennes).
RotationnelL'opérateur rotationnel est un opérateur différentiel aux dérivées partielles qui, à un champ vectoriel tridimensionnel, noté ou , fait correspondre un autre champ noté au choix : ou bien ou bien ou bien ou bien selon les conventions de notations utilisées pour les vecteurs. vignette|Exemple d'un champ de vecteurs ayant un rotationnel uniforme, analogue à un fluide tournant autour d'un point central.
Équation de continuitévignette|mécanique des fluides En mécanique des fluides, le principe de conservation de la masse peut être décrit par l'équation de continuité sous plusieurs formes différentes : locale conservative (dérivée en temps normale), locale non conservative (la dérivée en temps suit la particule dans son mouvement), ou intégrale. Suivant les problèmes posés, c'est l'une ou l'autre de ces équations qui pourra être retenue, toutes étant équivalentes.
Uniqueness typeIn computing, a unique type guarantees that an object is used in a single-threaded way, with at most a single reference to it. If a value has a unique type, a function applied to it can be optimized to update the value in-place in the object code. Such in-place updates improve the efficiency of functional languages while maintaining referential transparency. Unique types can also be used to integrate functional and imperative programming. Uniqueness typing is best explained using an example.
Potentiel vecteur du champ magnétiqueLe potentiel vecteur du champ magnétique, ou, plus simplement potentiel vecteur quand il n'y a pas de confusion possible, est une quantité physique assimilable à un champ de vecteurs intervenant en électromagnétisme. Elle n'est pas directement mesurable, mais sa présence est intimement liée à celle d'un champ électrique et/ou d'un champ magnétique. Son unité SI est le kg.C-1.m.s-1. Bien qu'il ait d'abord été introduit uniquement en tant qu'outil mathématique, en mécanique quantique, il a une réalité physique, comme l'a montré l'expérience Aharonov-Bohm.
Domaine fréquentielLe domaine fréquentiel se rapporte à l'analyse de fonctions mathématiques ou de signaux physiques manifestant une fréquence. Alors qu'un graphe dans le domaine temporel présentera les variations dans l'allure d'un signal au cours du temps, un graphe dans le domaine fréquentiel montrera quelle proportion du signal appartient à telle ou telle bande de fréquence, parmi plusieurs bancs. Une représentation dans le domaine fréquentiel peut également inclure des informations sur le décalage de phase qui doit être appliqué à chaque sinusoïde afin de reconstruire le signal en domaine temporel.
Vecteur de PoyntingEn physique, le vecteur de Poynting est la densité de flux liée à la propagation de l'onde électromagnétique. Sa direction est la direction de propagation. On le note , , ou . Le flux du vecteur de Poynting à travers une surface (fermée ou non) est égal à la puissance véhiculée par l'onde à travers cette surface. Le module de ce vecteur est donc une puissance par unité de surface, c'est-à-dire une densité de flux d'énergie ; il est homogène à un éclairement énergétique et à une exitance énergétique ; et, dans le Système international (SI) d'unités, il s'exprime en watts par mètre carré.
Programmation purement fonctionnelleEn informatique, la programmation purement fonctionnelle est un paradigme de programmation qui considère toutes les opérations comme l'évaluation de fonctions mathématiques. L'état et les objets immuables sont généralement modélisés à l'aide d'une logique temporelle, en tant que variables explicites représentant l'état du programme à chaque étape de son exécution : l'état d'une variable est transmis en tant que paramètre d'entrée d'une fonction de transformation d'état, qui renvoie l'état mis à jour en tant que partie de sa valeur de retour.
Purely functional data structureIn computer science, a purely functional data structure is a data structure that can be directly implemented in a purely functional language. The main difference between an arbitrary data structure and a purely functional one is that the latter is (strongly) immutable. This restriction ensures the data structure possesses the advantages of immutable objects: (full) persistency, quick copy of objects, and thread safety. Efficient purely functional data structures may require the use of lazy evaluation and memoization.
FréquenceEn physique, la fréquence est le nombre de fois qu'un phénomène périodique se reproduit par unité de temps. Dans le Système international d'unités, la fréquence s'exprime en hertz (Hz). La notion de fréquence s'applique aux phénomènes périodiques ou non. L'analyse spectrale transforme la description d'un phénomène en fonction du temps en description en fonction de la fréquence. Dans plusieurs domaines technologiques, on parle de fréquence spatiale. Dans cet usage, une dimension de l'espace prend la place du temps.
Ligne de champthumb|upright=1.5|Lignes de champ électrique autour de deux particules de même charges (gauche) et de charges opposées (droite). En physique et en mathématiques, afin de visualiser un champ vectoriel, on utilise souvent la notion de ligne de champ. C'est, en première approximation, le chemin que l'on suivrait en partant d'un point et en suivant les vecteurs. Ces lignes de champ sont orthogonales aux équipotentielles du même champ. La densité des lignes de champs en un point donné va dépendre de la magnitude du champ en ce point.
Langage algébriqueEn théorie des langages formels, un langage algébrique ou langage non contextuel est un langage qui est engendré par une grammaire algébrique. De manière équivalente, un langage algébrique est un langage reconnu par un automate à pile. Les langages algébriques forment les langages de dans la hiérarchie de Chomsky. Ils ont des applications importantes dans la description des langages de programmation et en linguistique. Ils interviennent également dans la description des langages XML.
Ligne de partage des eauxLa ligne de partage des eaux est une limite géographique qui divise hydrographiquement en plusieurs bassins versants. Plus précisément, de chaque côté de cette ligne, les eaux de pluie s’écoulent vers des exutoires différents. Le plus souvent, cette ligne, longue et sinueuse, correspond à une ligne de crêtes topographiques parcourant des hauteurs composées de montagnes, de collines, voire de simples ondulations de terrain.
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 ».
Solution tamponEn chimie, une solution tampon est une solution qui maintient approximativement le même pH malgré l'addition de petites quantités d'un acide ou d'une base, ou malgré une dilution. Si l'un de ces trois critères n'est pas vérifié alors la solution est une solution pseudo-tampon. Une solution tampon est composée : soit d'un acide faible HA et de son anion A−. Il s'agit par exemple du couple CH3COOH/CH3COO− ; soit d'une base faible B et de son cation BH+ comme le couple NH4+/NH3.
Espace de suites ℓpEn mathématiques, l'espace est un exemple d'espace vectoriel, constitué de suites à valeurs réelles ou complexes et qui possède, pour 1 ≤ p ≤ ∞, une structure d'espace de Banach. Considérons l'espace vectoriel réel R, c'est-à-dire l'espace des n-uplets de nombres réels. La norme euclidienne d'un vecteur est donnée par : Mais pour tout nombre réel p ≥ 1, on peut définir une autre norme sur R, appelée la p-norme, en posant : pour tout vecteur . Pour tout p ≥ 1, R muni de la p-norme est donc un espace vectoriel normé.
Provencevignette|Vue de la Mer Méditerranée depuis Toulon La Provence (prononcé dans une large partie de la France, en français de Provence; Provença/Prouvènço en occitan provençal, de l'ancien provençal Provensa, dérivant du latin provincia, "province") est une région historique et culturelle ainsi qu'un ancien État indépendant puis associé à la France. Elle correspond à l'actuelle région Provence-Alpes-Côte d'Azur et au sud de la région Auvergne-Rhône-Alpes.
