|
Sobolev Spaces For Planar Domains
In mathematics, Sobolev spaces for planar domains are one of the principal techniques used in the theory of partial differential equations for solving the Dirichlet and Neumann boundary value problems for the Laplacian in a bounded domain in the plane with smooth boundary. The methods use the theory of bounded operators on Hilbert space. They can be used to deduce regularity properties of solutions and to solve the corresponding eigenvalue problems. Sobolev spaces with boundary conditions Let be a bounded domain with smooth boundary. Since is contained in a large square in , it can be regarded as a domain in by identifying opposite sides of the square. The theory of Sobolev spaces on can be found in , an account which is followed in several later textbooks such as and . For an integer, the (restricted) Sobolev space is defined as the closure of in the standard Sobolev space . * . *Vanishing properties on boundary: For the elements of are referred to as " functions on wh ... [...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] |
Riemann Mapping Theorem
In complex analysis, the Riemann mapping theorem states that if ''U'' is a non-empty simply connected space, simply connected open set, open subset of the complex plane, complex number plane C which is not all of C, then there exists a biholomorphy, biholomorphic mapping ''f'' (i.e. a bijective function, bijective holomorphic function, holomorphic mapping whose inverse is also holomorphic) from ''U'' onto the open unit disk :D = \. This mapping is known as a Riemann mapping. Intuitively, the condition that ''U'' be simply connected means that ''U'' does not contain any “holes”. The fact that ''f'' is biholomorphic implies that it is a conformal map and therefore angle-preserving. Such a map may be interpreted as preserving the shape of any sufficiently small figure, while possibly rotating and scaling (but not reflecting) it. Henri Poincaré proved that the map ''f'' is essentially unique: if ''z''0 is an element of ''U'' and φ is an arbitrary angle, then there exists precis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Partial Differential Equations
In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a 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 numerically approximate solutions of certain partial differential equations using computers. Partial differential equations also occupy a large sector of 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 as existence, uniqueness, regularity, and stability. Among the many open questions are the e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riesz–Fischer Theorem
In mathematics, the Riesz–Fischer theorem in real analysis is any of a number of closely related results concerning the properties of the space ''L''2 of square integrable functions. The theorem was proven independently in 1907 by Frigyes Riesz and Ernst Sigismund Fischer. For many authors, the Riesz–Fischer theorem refers to the fact that the Lp spaces L^p from Lebesgue integration theory are complete. Modern forms of the theorem The most common form of the theorem states that a measurable function on \pi, \pi/math> is square integrable if and only if the corresponding Fourier series converges in the Lp space L^2. This means that if the ''N''th partial sum of the Fourier series corresponding to a square-integrable function ''f'' is given by S_N f(x) = \sum_^ F_n \, \mathrm^, where F_n, the ''n''th Fourier coefficient, is given by F_n =\frac\int_^\pi f(x)\, \mathrm^\, \mathrmx, then \lim_ \left\Vert S_N f - f \right\, _2 = 0, where \, \,\cdot\,\, _2 is the L^2-norm. Conve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirichlet Form
In potential theory (the study of harmonic function) and functional analysis, Dirichlet forms generalize the Laplacian (the mathematical operator on scalar fields). Dirichlet forms can be defined on any measure space, without the need for mentioning partial derivatives. This allows mathematicians to study the Laplace equation and heat equation on spaces that are not manifolds, for example, fractals. The benefit on these spaces is that one can do this without needing a gradient operator, and in particular, one can even weakly define a "Laplacian" in this manner if starting with the Dirichlet form. Definition When working on \mathbb^n , the "classical" Dirichlet form is given by: \mathcal(u, v ) = \int_ \nabla u(x) \cdot \nabla v(x) \; dx where one often discusses \mathcal(u) := \mathcal(u, u) = \, \nabla u\, _2^2 which is often referred to as the "energy" of the function u(x). More generally, a Dirichlet form is a Markovian closed symmetric form on an ''L''2-space.Fukushima, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral Test
In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with differentiation, integration is a fundamental, essential operation of calculus,Integral calculus is a very well established mathematical discipline for which there are many sources. See and , for example. and serves as a tool to solve problems in mathematics and physics involving the area of an arbitrary shape, the length of a curve, and the volume of a solid, among others. The integrals enumerated here are those termed definite integrals, which can be interpreted as the signed area of the region in the plane that is bounded by the graph of a given function between two points in the real line. Conventionally, areas above the horizontal axis of the plane are positive while areas below are negative. Integrals also refer to the concept of an a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cauchy–Schwarz Inequality
The Cauchy–Schwarz inequality (also called Cauchy–Bunyakovsky–Schwarz inequality) is considered one of the most important and widely used inequalities in mathematics. The inequality for sums was published by . The corresponding inequality for integrals was published by and . Schwarz gave the modern proof of the integral version. Statement of the inequality The Cauchy–Schwarz inequality states that for all vectors \mathbf and \mathbf of an inner product space it is true that where \langle \cdot, \cdot \rangle is the inner product. Examples of inner products include the real and complex dot product; see the examples in inner product. Every inner product gives rise to a norm, called the or , where the norm of a vector \mathbf is denoted and defined by: \, \mathbf\, := \sqrt so that this norm and the inner product are related by the defining condition \, \mathbf\, ^2 = \langle \mathbf, \mathbf \rangle, where \langle \mathbf, \mathbf \rangle is always a non-negative ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Maximum Principle
In the mathematical fields of partial differential equations and geometric analysis, the maximum principle is any of a collection of results and techniques of fundamental importance in the study of elliptic and parabolic differential equations. In the simplest case, consider a function of two variables such that :\frac+\frac=0. The weak maximum principle, in this setting, says that for any open precompact subset of the domain of , the maximum of on the closure of is achieved on the boundary of . The strong maximum principle says that, unless is a constant function, the maximum cannot also be achieved anywhere on itself. Such statements give a striking qualitative picture of solutions of the given differential equation. Such a qualitative picture can be extended to many kinds of differential equations. In many situations, one can also use such maximum principles to draw precise quantitative conclusions about solutions of differential equations, such as control over the size ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hopf Lemma
In mathematics, the Hopf lemma, named after Eberhard Hopf, states that if a continuous real-valued function in a domain in Euclidean space with sufficiently smooth boundary is harmonic in the interior and the value of the function at a point on the boundary is greater than the values at nearby points inside the domain, then the derivative of the function in the direction of the outward pointing normal is strictly positive. The lemma is an important tool in the proof of the maximum principle and in the theory of partial differential equations. The Hopf lemma has been generalized to describe the behavior of the solution to an elliptic problem as it approaches a point on the boundary where its maximum is attained. In the special case of the Laplacian, the Hopf lemma had been discovered by Stanisław Zaremba in 1910. In the more general setting for elliptic equations, it was found independently by Hopf and Olga Oleinik in 1952, although Oleinik's work is not as widely known as Hopf's in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Directional Derivative
In mathematics, the directional derivative of a multivariable differentiable (scalar) function along a given vector v at a given point x intuitively represents the instantaneous rate of change of the function, moving through x with a velocity specified by v. The directional derivative of a scalar function ''f'' with respect to a vector v at a point (e.g., position) x may be denoted by any of the following: \nabla_(\mathbf)=f'_\mathbf(\mathbf)=D_\mathbff(\mathbf)=Df(\mathbf)(\mathbf)=\partial_\mathbff(\mathbf)=\mathbf\cdot=\mathbf\cdot \frac. It therefore generalizes the notion of a partial derivative, in which the rate of change is taken along one of the curvilinear coordinate curves, all other coordinates being constant. The directional derivative is a special case of the Gateaux derivative. Definition The ''directional derivative'' of a scalar function :f(\mathbf) = f(x_1, x_2, \ldots, x_n) along a vector :\mathbf = (v_1, \ldots, v_n) is the function \nabla_ defined b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Argument Principle
In complex analysis, the argument principle (or Cauchy's argument principle) relates the difference between the number of zeros and poles of a meromorphic function to a contour integral of the function's logarithmic derivative. Specifically, if ''f''(''z'') is a meromorphic function inside and on some closed contour ''C'', and ''f'' has no zeros or poles on ''C'', then : \frac\oint_ \, dz=Z-P where ''Z'' and ''P'' denote respectively the number of zeros and poles of ''f''(''z'') inside the contour ''C'', with each zero and pole counted as many times as its multiplicity and order, respectively, indicate. This statement of the theorem assumes that the contour ''C'' is simple, that is, without self-intersections, and that it is oriented counter-clockwise. More generally, suppose that ''f''(''z'') is a meromorphic function on an open set Ω in the complex plane and that ''C'' is a closed curve in Ω which avoids all zeros and poles of ''f'' and is contractible to a point inside Ω. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Winding Number
In mathematics, the winding number or winding index of a closed curve in the plane around a given point is an integer representing the total number of times that curve travels counterclockwise around the point, i.e., the curve's number of turns. The winding number depends on the orientation of the curve, and it is negative if the curve travels around the point clockwise. Winding numbers are fundamental objects of study in algebraic topology, and they play an important role in vector calculus, complex analysis, geometric topology, differential geometry, and physics (such as in string theory). Intuitive description Suppose we are given a closed, oriented curve in the ''xy'' plane. We can imagine the curve as the path of motion of some object, with the orientation indicating the direction in which the object moves. Then the winding number of the curve is equal to the total number of counterclockwise turns that the object makes around the origin. When counting the total nu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
