|
Isospectral
In mathematics, two linear operators are called isospectral or cospectral if they have the same spectrum. Roughly speaking, they are supposed to have the same sets of eigenvalues, when those are counted with multiplicity. The theory of isospectral operators is markedly different depending on whether the space is finite or infinite dimensional. In finite-dimensions, one essentially deals with square matrices. In infinite dimensions, the spectrum need not consist solely of isolated eigenvalues. However, the case of a compact operator on a Hilbert space (or Banach space) is still tractable, since the eigenvalues are at most countable with at most a single limit point λ = 0. The most studied isospectral problem in infinite dimensions is that of the Laplace operator on a domain in R2. Two such domains are called isospectral if their Laplacians are isospectral. The problem of inferring the geometrical properties of a domain from the spectrum of its Laplacian is often kno ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hearing The Shape Of A Drum
To hear the shape of a drum is to infer information about the shape of the drumhead from the sound it makes, i.e., from the list of overtones, via the use of mathematical theory. "Can One Hear the Shape of a Drum?" is the title of a 1966 article by Mark Kac in the '' American Mathematical Monthly'' which made the question famous, though this particular phrasing originates with Lipman Bers. Similar questions can be traced back all the way to physicist Arthur Schuster in 1882. For his paper, Kac was given the Lester R. Ford Award in 1967 and the Chauvenet Prize in 1968. The frequencies at which a drumhead can vibrate depend on its shape. The Helmholtz equation calculates the frequencies if the shape is known. These frequencies are the eigenvalues of the Laplacian in the space. A central question is whether the shape can be predicted if the frequencies are known; for example, whether a Reuleaux triangle can be recognized in this way. Kac admitted that he did not know whethe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Toshikazu Sunada
is a Japanese mathematician and author of many books and essays on mathematics and mathematical sciences. He is professor emeritus of both Meiji University and Tohoku University. He is also distinguished professor of emeritus at Meiji in recognition of achievement over the course of an academic career. Before he joined Meiji University in 2003, he was professor of mathematics at Nagoya University (1988–1991), at the University of Tokyo (1991–1993), and at Tohoku University (1993–2003). Sunada was involved in the creation of the School of Interdisciplinary Mathematical Sciences at Meiji University and is its first dean (2013–2017). Since 2019, he is President of Mathematics Education Society of Japan. Main work Sunada's work covers complex analytic geometry, spectral geometry, dynamical systems, probability, graph theory, discrete geometric analysis, and mathematical crystallography. Among his numerous contributions, the most famous one is a general construction of isosp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lax Pair
In mathematics, in the theory of integrable systems, a Lax pair is a pair of time-dependent matrices or operators that satisfy a corresponding differential equation, called the ''Lax equation''. Lax pairs were introduced by Peter Lax to discuss solitons in continuous media. The inverse scattering transform makes use of the Lax equations to solve such systems. Definition A Lax pair is a pair of matrices or operators L(t), P(t) dependent on time and acting on a fixed Hilbert space, and satisfying Lax's equation: :\frac= ,L/math> where ,LPL-LP is the commutator. Often, as in the example below, P depends on L in a prescribed way, so this is a nonlinear equation for L as a function of t. Isospectral property It can then be shown that the eigenvalues and more generally the spectrum of ''L'' are independent of ''t''. The matrices/operators ''L'' are said to be ''isospectral'' as t varies. The core observation is that the matrices L(t) are all similar by virtue of :L(t)=U(t,s) L( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Selberg Trace Formula
In mathematics, the Selberg trace formula, introduced by , is an expression for the character of the unitary representation of a Lie group on the space of square-integrable functions, where is a cofinite discrete group. The character is given by the trace of certain functions on . The simplest case is when is cocompact, when the representation breaks up into discrete summands. Here the trace formula is an extension of the Frobenius formula for the character of an induced representation of finite groups. When is the cocompact subgroup of the real numbers , the Selberg trace formula is essentially the Poisson summation formula. The case when is not compact is harder, because there is a continuous spectrum, described using Eisenstein series. Selberg worked out the non-compact case when is the group ; the extension to higher rank groups is the Arthur–Selberg trace formula. When is the fundamental group of a Riemann surface, the Selberg trace formula describes the spectru ... [...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] |
Infinitesimal
In mathematics, an infinitesimal number is a quantity that is closer to zero than any standard real number, but that is not zero. The word ''infinitesimal'' comes from a 17th-century Modern Latin coinage ''infinitesimus'', which originally referred to the " infinity- th" item in a sequence. Infinitesimals do not exist in the standard real number system, but they do exist in other number systems, such as the surreal number system and the hyperreal number system, which can be thought of as the real numbers augmented with both infinitesimal and infinite quantities; the augmentations are the reciprocals of one another. Infinitesimal numbers were introduced in the development of calculus, in which the derivative was first conceived as a ratio of two infinitesimal quantities. This definition was not rigorously formalized. As calculus developed further, infinitesimals were replaced by limits, which can be calculated using the standard real numbers. Infinitesimals regained popularit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deck Transformation
A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete space D and for every x \in X an open neighborhood U \subset X, such that \pi^(U)= \displaystyle \bigsqcup_ V_d and \pi, _:V_d \rightarrow U is a homeomorphism for every d \in D . Often, the notion of a covering is used for the covering space E as well as for the map \pi : E \rightarrow X. The open sets V_ are called sheets, which are uniquely determined up to a homeomorphism if U is connected. For each x \in X the discrete subset \pi^(x) is called the fiber of x. The degree of a covering is the cardinality of the space D. If E is path-connected, then the covering \pi : E \rightarrow X is denoted as a path-connected covering. Examples * For every topological space X there exists the covering \pi:X \rightarrow X with \pi(x)=x, which is d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Group
Finite is the opposite of infinite. It may refer to: * Finite number (other) * Finite set, a set whose cardinality (number of elements) is some natural number * Finite verb, a verb form that has a subject, usually being inflected or marked for person and/or tense or aspect * "Finite", a song by Sara Groves from the album '' Invisible Empires'' See also * * Nonfinite (other) Nonfinite is the opposite of finite * a nonfinite verb is a verb that is not capable of serving as the main verb in an independent clause * a non-finite clause In linguistics, a non-finite clause is a dependent or embedded clause that represen ... {{disambiguation fr:Fini it:Finito ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dedekind Zeta Function
In mathematics, the Dedekind zeta function of an algebraic number field ''K'', generally denoted ζ''K''(''s''), is a generalization of the Riemann zeta function (which is obtained in the case where ''K'' is the field of rational numbers Q). It can be defined as a Dirichlet series, it has an Euler product expansion, it satisfies a functional equation, it has an analytic continuation to a meromorphic function on the complex plane C with only a simple pole at ''s'' = 1, and its values encode arithmetic data of ''K''. The extended Riemann hypothesis states that if ''ζ''''K''(''s'') = 0 and 0 1. In the case ''K'' = Q, this definition reduces to that of the Riemann zeta function. Euler product The Dedekind zeta function of K has an Euler product which is a product over all the prime ideals \mathfrak of \mathcal_K :\zeta_K (s) = \prod_ \frac,\text(s)>1. This is the expression in analytic terms of the Dedekind domain, uniqueness of prime factori ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Selberg Zeta Function
The Selberg zeta-function was introduced by . It is analogous to the famous Riemann zeta function : \zeta(s) = \prod_ \frac where \mathbb is the set of prime numbers. The Selberg zeta-function uses the lengths of simple closed geodesics instead of the primes numbers. If \Gamma is a subgroup of SL(2,R), the associated Selberg zeta function is defined as follows, :\zeta_\Gamma(s)=\prod_p(1-N(p)^)^, or :Z_\Gamma(s)=\prod_p\prod^\infty_(1-N(p)^), where ''p'' runs over conjugacy classes of prime geodesics (equivalently, conjugacy classes of primitive hyperbolic elements of \Gamma), and ''N''(''p'') denotes the length of ''p'' (equivalently, the square of the bigger eigenvalue of ''p''). For any hyperbolic surface of finite area there is an associated Selberg zeta-function; this function is a meromorphic function defined in the complex plane. The zeta function is defined in terms of the closed geodesics of the surface. The zeros and poles of the Selberg zeta-function, ''Z''(''s' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Covering Space
A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete space D and for every x \in X an open neighborhood U \subset X, such that \pi^(U)= \displaystyle \bigsqcup_ V_d and \pi, _:V_d \rightarrow U is a homeomorphism for every d \in D . Often, the notion of a covering is used for the covering space E as well as for the map \pi : E \rightarrow X. The open sets V_ are called sheets, which are uniquely determined up to a homeomorphism if U is connected. For each x \in X the discrete subset \pi^(x) is called the fiber of x. The degree of a covering is the cardinality of the space D. If E is path-connected, then the covering \pi : E \rightarrow X is denoted as a path-connected covering. Examples * For every topological space X there exists the covering \pi:X \rightarrow X with \pi(x)=x, which is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Class Field Theory
In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory whose goal is to describe all the abelian Galois extensions of local and global fields using objects associated to the ground field. Hilbert is credited as one of pioneers of the notion of a class field. However, this notion was already familiar to Kronecker and it was actually Weber who coined the term before Hilbert's fundamental papers came out. The relevant ideas were developed in the period of several decades, giving rise to a set of conjectures by Hilbert that were subsequently proved by Takagi and Artin (with the help of Chebotarev's theorem). One of the major results is: given a number field ''F'', and writing ''K'' for the maximal abelian unramified extension of ''F'', the Galois group of ''K'' over ''F'' is canonically isomorphic to the ideal class group of ''F''. This statement was generalized to the so called Artin reciprocity law; in the idelic language, writing ''CF' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
