|
Cauchy Problem
A Cauchy problem in mathematics asks for the solution of a partial differential equation that satisfies certain conditions that are given on a hypersurface in the domain. A Cauchy problem can be an initial value problem or a boundary value problem (for this case see also Cauchy boundary condition). It is named after Augustin-Louis Cauchy. Formal statement For a partial differential equation defined on R''n+1'' and a smooth manifold ''S'' ⊂ R''n+1'' of dimension ''n'' (''S'' is called the Cauchy surface), the Cauchy problem consists of finding the unknown functions u_1,\dots,u_N of the differential equation with respect to the independent variables t,x_1,\dots,x_n that satisfiesPetrovskii, I. G. (1954). Lectures on partial differential equations. Interscience Publishers, Inc, Translated by A. Shenitzer, (Dover publications, 1991) \begin&\frac = F_i\left(t,x_1,\dots,x_n,u_1,\dots,u_N,\dots,\frac,\dots\right) \\ &\text i,j = 1,2,\dots,N;\, k_0+k_1+\dots+k_n=k\leq n_j;\, k_0 [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Partial Differential Equation
In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a Multivariable calculus, multivariable function. The function is often thought of as an "unknown" to be solved for, similarly to how is thought of as an unknown number to be solved for in an algebraic equation like . However, it is usually impossible to write down explicit formulas for solutions of partial differential equations. There is, correspondingly, a vast amount of modern mathematical and scientific research on methods to Numerical methods for partial differential equations, numerically approximate solutions of certain partial differential equations using computers. Partial differential equations also occupy a large sector of pure mathematics, pure mathematical research, in which the usual questions are, broadly speaking, on the identification of general qualitative features of solutions of various partial differential equations, such a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hypersurface
In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Euclidean space, an affine space or a projective space. Hypersurfaces share, with surfaces in a three-dimensional space, the property of being defined by a single implicit equation, at least locally (near every point), and sometimes globally. A hypersurface in a (Euclidean, affine, or projective) space of dimension two is a plane curve. In a space of dimension three, it is a surface. For example, the equation :x_1^2+x_2^2+\cdots+x_n^2-1=0 defines an algebraic hypersurface of dimension in the Euclidean space of dimension . This hypersurface is also a smooth manifold, and is called a hypersphere or an -sphere. Smooth hypersurface A hypersurface that is a smooth manifold is called a ''smooth hypersurface''. In , a smooth hypersurface is orienta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Initial Value Problem
In multivariable calculus, an initial value problem (IVP) is an ordinary differential equation together with an initial condition which specifies the value of the unknown function at a given point in the domain. Modeling a system in physics or other sciences frequently amounts to solving an initial value problem. In that context, the differential initial value is an equation which specifies how the system evolves with time given the initial conditions of the problem. Definition An initial value problem is a differential equation :y'(t) = f(t, y(t)) with f\colon \Omega \subset \mathbb \times \mathbb^n \to \mathbb^n where \Omega is an open set of \mathbb \times \mathbb^n, together with a point in the domain of f :(t_0, y_0) \in \Omega, called the initial condition. A solution to an initial value problem is a function y that is a solution to the differential equation and satisfies :y(t_0) = y_0. In higher dimensions, the differential equation is replaced with a family of equati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boundary Value Problem
In mathematics, in the field of differential equations, a boundary value problem is a differential equation together with a set of additional constraints, called the boundary conditions. A solution to a boundary value problem is a solution to the differential equation which also satisfies the boundary conditions. Boundary value problems arise in several branches of physics as any physical differential equation will have them. Problems involving the wave equation, such as the determination of normal modes, are often stated as boundary value problems. A large class of important boundary value problems are the Sturm–Liouville problems. The analysis of these problems involves the eigenfunctions of a differential operator. To be useful in applications, a boundary value problem should be well posed. This means that given the input to the problem there exists a unique solution, which depends continuously on the input. Much theoretical work in the field of partial differential ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cauchy Boundary Condition
In mathematics, a Cauchy () 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. Second-order ordinary differential equations Cauchy boundary conditions are simple and common in second-order ordinary differential equations, :y''(s) = f\big(y(s), y'(s), s\big), where, in order to ensure that a unique solution y(s) exists, one may specify the value of the function y and the value of the derivative y' at a given point s=a, i.e., :y(a) = \alpha, and :y'(a) = \beta, where a is a boundary or initial point. Since the parameter s is usually ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Augustin-Louis Cauchy
Baron Augustin-Louis Cauchy (, ; ; 21 August 178923 May 1857) was a French mathematician, engineer, and physicist who made pioneering contributions to several branches of mathematics, including mathematical analysis and continuum mechanics. He was one of the first to state and rigorously prove theorems of calculus, rejecting the heuristic principle of the generality of algebra of earlier authors. He almost singlehandedly founded complex analysis and the study of permutation groups in abstract algebra. A profound mathematician, Cauchy had a great influence over his contemporaries and successors; Hans Freudenthal stated: "More concepts and theorems have been named for Cauchy than for any other mathematician (in elasticity alone there are sixteen concepts and theorems named for Cauchy)." Cauchy was a prolific writer; he wrote approximately eight hundred research articles and five complete textbooks on a variety of topics in the fields of mathematics and mathematical physics. B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart. In formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a vector space. To induce a global differential structure on the local coordinate systems induced by the homeomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cauchy Surface
In the mathematical field of Lorentzian geometry, a Cauchy surface is a certain kind of submanifold of a Lorentzian manifold. In the application of Lorentzian geometry to the physics of general relativity, a Cauchy surface is usually interpreted as defining an "instant of time"; in the mathematics of general relativity, Cauchy surfaces are important in the formulation of the Einstein equations as an evolutionary problem. They are named for French mathematician Augustin-Louis Cauchy (1789-1857) due to their relevance for the Cauchy problem of general relativity. Informal introduction Although it is usually phrased in terms of general relativity, the formal notion of a Cauchy surface can be understood in familiar terms. Suppose that humans can travel at a maximum speed of 20 miles per hour. This places constraints, for any given person, upon where they can reach by a certain time. For instance, it is impossible for a person who is in Mexico at 3 o'clock to arrive in Libya by 4 o'cl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cauchy–Kowalevski Theorem
In mathematics, the Cauchy–Kovalevskaya theorem (also written as the Cauchy–Kowalevski theorem) is the main local existence and uniqueness theorem for analytic partial differential equations associated with Cauchy initial value problems. A special case was proven by , and the full result by . First order Cauchy–Kovalevskaya theorem This theorem is about the existence of solutions to a system of ''m'' differential equations in ''n'' dimensions when the coefficients are analytic functions. The theorem and its proof are valid for analytic functions of either real or complex variables. Let ''K'' denote either the fields of real or complex numbers, and let ''V'' = ''K''''m'' and ''W'' = ''K''''n''. Let ''A''1, ..., ''A''''n''−1 be analytic functions defined on some neighbourhood of (0, 0) in ''W'' × ''V'' and taking values in the ''m'' × ''m'' matrices, and let ''b'' be an analytic function with values in ''V'' define ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Function
In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not generally hold for real analytic functions. A function is analytic if and only if its Taylor series about ''x''0 converges to the function in some neighborhood for every ''x''0 in its domain. Definitions Formally, a function f is ''real analytic'' on an open set D in the real line if for any x_0\in D one can write : f(x) = \sum_^\infty a_ \left( x-x_0 \right)^ = a_0 + a_1 (x-x_0) + a_2 (x-x_0)^2 + a_3 (x-x_0)^3 + \cdots in which the coefficients a_0, a_1, \dots are real numbers and the series is convergent to f(x) for x in a neighborhood of x_0. Alternatively, a real analytic function is an infinitely differentiable function such that the Taylor series at any point x_0 in its domain ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cauchy Horizon
In physics, a Cauchy horizon is a light-like boundary of the domain of validity of a Cauchy problem (a particular boundary value problem of the theory of partial differential equations). One side of the horizon contains closed space-like geodesics and the other side contains closed time-like geodesics. The concept is named after Augustin-Louis Cauchy. Under the averaged weak energy condition (AWEC), Cauchy horizons are inherently unstable. However, cases of AWEC violation, such as the Casimir effect caused by periodic boundary conditions, do exist, and since the region of spacetime inside the Cauchy horizon has closed timelike curves it is subject to periodic boundary conditions. If the spacetime inside the Cauchy horizon violates AWEC, then the horizon becomes stable and frequency boosting effects would be canceled out by the tendency of the spacetime to act as a divergent lens. Were this conjecture to be shown empirically true, it would provide a counter-example to the strong ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
MathWorld
''MathWorld'' is an online mathematics reference work, created and largely written by Eric W. Weisstein. It is sponsored by and licensed to Wolfram Research, Inc. and was partially funded by the National Science Foundation's National Science Digital Library grant to the University of Illinois at Urbana–Champaign. History Eric W. Weisstein, the creator of the site, was a physics and astronomy student who got into the habit of writing notes on his mathematical readings. In 1995 he put his notes online and called it "Eric's Treasure Trove of Mathematics." It contained hundreds of pages/articles, covering a wide range of mathematical topics. The site became popular as an extensive single resource on mathematics on the web. Weisstein continuously improved the notes and accepted corrections and comments from online readers. In 1998, he made a contract with CRC Press and the contents of the site were published in print and CD-ROM form, titled "CRC Concise Encyclopedia of Mathematic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
