|
Zonal Spherical Function
In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group ''G'' with compact subgroup ''K'' (often a maximal compact subgroup) that arises as the matrix coefficient of a ''K''-invariant vector in an irreducible representation of ''G''. The key examples are the matrix coefficients of the '' spherical principal series'', the irreducible representations appearing in the decomposition of the unitary representation of ''G'' on ''L''2(''G''/''K''). In this case the commutant of ''G'' is generated by the algebra of biinvariant functions on ''G'' with respect to ''K'' acting by right convolution. It is commutative if in addition ''G''/''K'' is a symmetric space, for example when ''G'' is a connected semisimple Lie group with finite centre and ''K'' is a maximal compact subgroup. The matrix coefficients of the spherical principal series describe precisely the spectrum of the corresponding C* algebra generated by the biinvariant funct ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Special Linear Group
In mathematics, the special linear group of degree ''n'' over a field ''F'' is the set of matrices with determinant 1, with the group operations of ordinary matrix multiplication and matrix inversion. This is the normal subgroup of the general linear group given by the kernel of the determinant :\det\colon \operatorname(n, F) \to F^\times. where ''F''× is the multiplicative group of ''F'' (that is, ''F'' excluding 0). These elements are "special" in that they form an algebraic subvariety of the general linear group – they satisfy a polynomial equation (since the determinant is polynomial in the entries). When ''F'' is a finite field of order ''q'', the notation is sometimes used. Geometric interpretation The special linear group can be characterized as the group of ''volume and orientation preserving'' linear transformations of R''n''; this corresponds to the interpretation of the determinant as measuring change in volume and orientation. Lie subgroup When ''F'' is R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fourier Inversion Formula
In mathematics, the Fourier inversion theorem says that for many types of functions it is possible to recover a function from its Fourier transform. Intuitively it may be viewed as the statement that if we know all frequency and phase information about a wave then we may reconstruct the original wave precisely. The theorem says that if we have a function f:\R \to \Complex satisfying certain conditions, and we use the convention for the Fourier transform that :(\mathcalf)(\xi):=\int_ e^ \, f(y)\,dy, then :f(x)=\int_ e^ \, (\mathcalf)(\xi)\,d\xi. In other words, the theorem says that :f(x)=\iint_ e^ \, f(y)\,dy\,d\xi. This last equation is called the Fourier integral theorem. Another way to state the theorem is that if R is the flip operator i.e. (Rf)(x) := f(-x), then :\mathcal^=\mathcalR=R\mathcal. The theorem holds if both f and its Fourier transform are absolutely integrable (in the Lebesgue sense) and f is continuous at the point x. However, even under more general ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plancherel Theorem
In mathematics, the Plancherel theorem (sometimes called the Parseval–Plancherel identity) is a result in harmonic analysis, proven by Michel Plancherel in 1910. It states that the integral of a function's squared modulus is equal to the integral of the squared modulus of its frequency spectrum. That is, if f(x) is a function on the real line, and \widehat(\xi) is its frequency spectrum, then A more precise formulation is that if a function is in both Lp spaces L^1(\mathbb) and L^2(\mathbb), then its Fourier transform is in L^2(\mathbb), and the Fourier transform map is an isometry with respect to the ''L''2 norm. This implies that the Fourier transform map restricted to L^1(\mathbb) \cap L^2(\mathbb) has a unique extension to a linear isometric map L^2(\mathbb) \mapsto L^2(\mathbb), sometimes called the Plancherel transform. This isometry is actually a unitary map. In effect, this makes it possible to speak of Fourier transforms of quadratically integrable functions. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ian G
Ian or Iain is a name of Scottish Gaelic origin, derived from the Hebrew given name (Yohanan, ') and corresponding to the English name John. The spelling Ian is an Anglicization of the Scottish Gaelic forename ''Iain''. It is a popular name in Scotland, where it originated, as well as other English-speaking countries. The name has fallen out of the top 100 male baby names in the United Kingdom, having peaked in popularity as one of the top 10 names throughout the 1960s. In 1900, Ian was the 180th most popular male baby name in England and Wales. , the name has been in the top 100 in the United States every year since 1982, peaking at 65 in 2003. Other Gaelic forms of "John" include "Seonaidh" ("Johnny" from Lowland Scots), "Seon" (from English), "Seathan", and "Seán" and " Eoin" (from Irish). Its Welsh counterpart is Ioan, its Cornish equivalent is Yowan and Breton equivalent is Yann. Notable people named Ian As a first name (alphabetical by family name) *Ian Agol (born 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
P-adic
In mathematics, the -adic number system for any prime number extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems. The extension is achieved by an alternative interpretation of the concept of "closeness" or absolute value. In particular, two -adic numbers are considered to be close when their difference is divisible by a high power of : the higher the power, the closer they are. This property enables -adic numbers to encode congruence information in a way that turns out to have powerful applications in number theory – including, for example, in the famous proof of Fermat's Last Theorem by Andrew Wiles. These numbers were first described by Kurt Hensel in 1897, though, with hindsight, some of Ernst Kummer's earlier work can be interpreted as implicitly using -adic numbers.Translator's introductionpage 35 "Indeed, with hindsight it becomes apparent that a discret ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Operator
In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function (in the style of a higher-order function in computer science). This article considers mainly linear differential operators, which are the most common type. However, non-linear differential operators also exist, such as the Schwarzian derivative. Definition An order-m linear differential operator is a map A from a function space \mathcal_1 to another function space \mathcal_2 that can be written as: A = \sum_a_\alpha(x) D^\alpha\ , where \alpha = (\alpha_1,\alpha_2,\cdots,\alpha_n) is a multi-index of non-negative integers, , \alpha, = \alpha_1 + \alpha_2 + \cdots + \alpha_n, and for each \alpha, a_\alpha(x) is a function on some open domain in ''n''-dimensional space. The operator D^\alpha is interpreted as D^\alp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Enveloping Algebra
In mathematics, the universal enveloping algebra of a Lie algebra is the unital associative algebra whose representations correspond precisely to the representations of that Lie algebra. Universal enveloping algebras are used in the representation theory of Lie groups and Lie algebras. For example, Verma modules can be constructed as quotients of the universal enveloping algebra. In addition, the enveloping algebra gives a precise definition for the Casimir operators. Because Casimir operators commute with all elements of a Lie algebra, they can be used to classify representations. The precise definition also allows the importation of Casimir operators into other areas of mathematics, specifically, those that have a differential algebra. They also play a central role in some recent developments in mathematics. In particular, their dual provides a commutative example of the objects studied in non-commutative geometry, the quantum groups. This dual can be shown, by the Gelfand–N ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eigenfunction
In mathematics, an eigenfunction of a linear operator ''D'' defined on some function space is any non-zero function f in that space that, when acted upon by ''D'', is only multiplied by some scaling factor called an eigenvalue. As an equation, this condition can be written as Df = \lambda f for some scalar eigenvalue \lambda. The solutions to this equation may also be subject to boundary conditions that limit the allowable eigenvalues and eigenfunctions. An eigenfunction is a type of eigenvector. Eigenfunctions In general, an eigenvector of a linear operator ''D'' defined on some vector space is a nonzero vector in the domain of ''D'' that, when ''D'' acts upon it, is simply scaled by some scalar value called an eigenvalue. In the special case where ''D'' is defined on a function space, the eigenvectors are referred to as eigenfunctions. That is, a function ''f'' is an eigenfunction of ''D'' if it satisfies the equation where λ is a scalar. The solutions to Equation may also ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Roger Godement
Roger Godement (; 1 October 1921 – 21 July 2016) was a French mathematician, known for his work in functional analysis as well as his expository books. Biography Godement started as a student at the École normale supérieure in 1940, where he became a student of Henri Cartan. He started research into harmonic analysis on locally compact abelian groups, finding a number of major results; this work was in parallel but independent of similar investigations in the USSR and Japan. Work on the abstract theory of spherical functions published in 1952 proved very influential in subsequent work, particularly that of Harish-Chandra. The isolation of the concept of square-integrable representation is attributed to him. The Godement compactness criterion in the theory of arithmetic groups was a conjecture of his. He later worked with Jacquet on the zeta function of a simple algebra. He was an active member of the Bourbaki group in the early 1950s, and subsequently gave a number of sign ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functional Analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. Inner product space#Definition, inner product, Norm (mathematics)#Definition, norm, Topological space#Definition, topology, etc.) and the linear transformation, linear functions defined on these spaces and respecting these structures in a suitable sense. The historical roots of functional analysis lie in the study of function space, spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining continuous function, continuous, unitary operator, unitary etc. operators between function spaces. This point of view turned out to be particularly useful for the study of differential equations, differential and integral equations. The usage of the word ''functional (mathematics), functional'' as a noun goes back to the calculus of variati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weyl Character Formula
In mathematics, the Weyl character formula in representation theory describes the character theory, characters of irreducible representations of compact Lie groups in terms of their highest weights. It was proved by . There is a closely related formula for the character of an irreducible representation of a semisimple Lie algebra. In Weyl's approach to the Compact_group#Representation_theory_of_a_connected_compact_Lie_group, representation theory of connected compact Lie groups, the proof of the character formula is a key step in proving that every dominant integral element actually arises as the highest weight of some irreducible representation. Important consequences of the character formula are the Weyl dimension formula and the Kostant_partition_function, Kostant multiplicity formula. By definition, the character \chi of a representation \pi of ''G'' is the trace of a matrix, trace of \pi(g), as a function of a group element g\in G. The irreducible representations in this case ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
;_Cayley_table.svg "Click for more on -> Special Linear Group")
