Refine
Year of publication
Document Type
- Preprint (88)
- Article (36)
- Monograph/Edited Volume (24)
- Review (1)
Language
- English (149)
Keywords
- index (9)
- manifolds with singularities (6)
- Fredholm property (5)
- Toeplitz operators (5)
- Hodge theory (4)
- Navier-Stokes equations (4)
- pseudodifferential operators (4)
- star product (4)
- 'eta' invariant (3)
- Cauchy problem (3)
Institute
- Institut für Mathematik (149) (remove)
In 1914 Bohr proved that there is an r ∈ (0, 1) such that if a power series converges in the unit disk and its sum has modulus less than 1 then, for |z| < r, the sum of absolute values of its terms is again less than 1. Recently analogous results were obtained for functions of several variables. The aim of this paper is to comprehend the theorem of Bohr in the context of solutions to second order elliptic equations meeting the maximum principle.
The paper is devoted to pseudodifferential boundary value problems in domains with singular points on the boundary. The tangent cone at a singular point is allowed to degenerate. In particular, the boundary may rotate and oscillate in a neighbourhood of such a point. We show a criterion for the Fredholm property of a boundary value problem and derive estimates of solutions close to singular points.
For each compact subset K of the complex plane C which does not surround zero, the Riemann surface Sζ of the Riemann zeta function restricted to the critical half-strip 0 < Rs < 1/2 contains infinitely many schlicht copies of K lying ‘over’ K. If Sζ also contains at least one such copy, for some K which surrounds zero, then the Riemann hypothesis fails.
We show a Lefschetz fixed point formula for holomorphic functions in a bounded domain D with smooth boundary in the complex plane. To introduce the Lefschetz number for a holomorphic map of D, we make use of the Bergman kernal of this domain. The Lefschetz number is proved to be the sum of usual contributions of fixed points of the map in D and contributions of boundary fixed points, these latter being different for attracting and repulsing fixed points.
We elaborate a boundary Fourier method for studying an analogue of the Hilbert problem for analytic functions within the framework of generalised Cauchy-Riemann equations. The boundary value problem need not satisfy the Shapiro-Lopatinskij condition and so it fails to be Fredholm in Sobolev spaces. We show a solvability condition of the Hilbert problem, which looks like those for ill-posed
problems, and construct an explicit formula for approximate solutions.
We consider the Cauchy problem for the heat equation in a cylinder C (T) = X x (0, T) over a domain X in R (n) , with data on a strip lying on the lateral surface. The strip is of the form S x (0, T), where S is an open subset of the boundary of X. The problem is ill-posed. Under natural restrictions on the configuration of S, we derive an explicit formula for solutions of this problem.
We consider a Cauchy problem for the heat equation in a cylinder X x (0,T) over a domain X in the n-dimensional space with data on a strip lying on the lateral surface. The strip is of the form
S x (0,T), where S is an open subset of the boundary of X. The problem is ill-posed. Under natural restrictions on the configuration of S we derive an explicit formula for solutions of this problem.
Let A be a nonlinear differential operator on an open set X subset of R-n and S a closed subset of X. Given a class F of functions in X, the set S is said to be removable for F relative to A if any weak solution of A(u) = 0 in XS of class F satisfies this equation weakly in all of X. For the most extensively studied classes F, we show conditions on S which guarantee that S is removable for F relative to A.
We prove that if u is a locally Lipschitz continuous function on an open set chi subset of Rn + 1 satisfying the nonlinear heat equation partial derivative(t)u = Delta(vertical bar u vertical bar(p-1) u), p > 1, weakly away from the zero set u(-1) (0) in chi, then u is a weak solution to this equation in all of chi.
Let A be a nonlinear differential operator on an open set X in R^n and S a closed subset of X. Given a class F of functions in X, the set S is said to be removable for F relative to A if any weak solution of A (u) = 0 in the complement of S of class F satisfies this equation weakly in all of X. For the most extensively studied classes F we show conditions on S which guarantee that S is removable for F relative to A.
We introduce a natural symmetry condition for a pseudodifferential operator on a manifold with cylindrical ends ensuring that the operator admits a doubling across the boundary. For such operators we prove an explicit index formula containing, apart from the Atiyah-Singer integral, a finite number of residues of the logarithmic derivative of the conormal symbol.
In a bounded domain with smooth boundary in R^3 we consider the stationary Maxwell equations
for a function u with values in R^3 subject to a nonhomogeneous condition
(u,v)_x = u_0 on
the boundary, where v is a given vector field and u_0 a function on the boundary. We specify this problem within the framework of the Riemann-Hilbert boundary value problems for the Moisil-Teodorescu system. This latter is proved to satisfy the Shapiro-Lopaniskij condition if an only if the vector v is at no point tangent to the boundary. The Riemann-Hilbert problem for the Moisil-Teodorescu system fails to possess an adjoint boundary value problem with respect to the Green formula, which satisfies the Shapiro-Lopatinskij condition. We develop the construction of Green formula to get a proper concept of adjoint boundary value problem.
The Riemann hypothesis is equivalent to the fact the the reciprocal function 1/zeta (s) extends from the interval (1/2,1) to an analytic function in the quarter-strip 1/2 < Re s < 1 and Im s > 0. Function theory allows one to rewrite the condition of analytic continuability in an elegant form amenable to numerical experiments.
We consider the Navier-Stokes equations in the layer R^n x [0,T] over R^n with finite T > 0. Using the standard fundamental solutions of the Laplace operator and the heat operator, we reduce the Navier-Stokes equations to a nonlinear Fredholm equation of the form (I+K) u = f, where K is a compact continuous operator in anisotropic normed Hölder spaces weighted at the point at infinity with respect to the space variables. Actually, the weight function is included to provide a finite energy estimate for solutions to the Navier-Stokes equations for all t in [0,T]. On using the particular properties of the de Rham complex we conclude that the Fréchet derivative (I+K)' is continuously invertible at each point of the Banach space under consideration and the map I+K is open and injective in the space. In this way the Navier-Stokes equations prove to induce an open one-to-one mapping in the scale of Hölder spaces.
We prove a theorem on analytic representation of integrable CR functions on hypersurfaces with singular points. Moreover, the behaviour of representing analytic functions near singular points is investigated. We are aimed at explaining the new effect caused by the presence of a singularity rather than at treating the problem in full generality.
Anisotropic edge problems
(2002)
Anisotropic edge problems
(2002)
We investigate elliptic pseudodifferential operators which degenerate in an anisotropic way on a submanifold of arbitrary codimension. To find Fredholm problems for such operators we adjoint to them boundary and coboundary conditions on the submanifold.The algebra obtained this way is a far reaching generalisation of Boutet de Monvel's algebra of boundary value problems with transmission property. We construct left and right regularisers and prove theorems on hypoellipticity and local solvability.
Asymptotic Solutions of the Dirichlet Problem for the Heat Equation at a Characteristic Point
(2015)
The Dirichlet problem for the heat equation in a bounded domain aS, a"e (n+1) is characteristic because there are boundary points at which the boundary touches a characteristic hyperplane t = c, where c is a constant. For the first time, necessary and sufficient conditions on the boundary guaranteeing that the solution is continuous up to the characteristic point were established by Petrovskii (1934) under the assumption that the Dirichlet data are continuous. The appearance of Petrovskii's paper was stimulated by the existing interest to the investigation of general boundary-value problems for parabolic equations in bounded domains. We contribute to the study of this problem by finding a formal solution of the Dirichlet problem for the heat equation in a neighborhood of a cuspidal characteristic boundary point and analyzing its asymptotic behavior.
Asymptotic solutions of the Dirichlet problem for the heat equation at a characteristic point
(2012)
The Dirichlet problem for the heat equation in a bounded domain is characteristic, for there are boundary points at which the boundary touches a characteristic hyperplane t = c, c being a constant. It was I.G. Petrovskii (1934) who first found necessary and sufficient conditions on the boundary which guarantee that the solution is continuous up to the characteristic point, provided that the Dirichlet data are continuous. This paper initiated standing interest in studying general boundary value problems for parabolic equations in bounded domains. We contribute to the study by constructing a formal solution of the Dirichlet problem for the heat equation in a neighbourhood of a characteristic boundary point and showing its asymptotic character.
We study the autoresonant solution of Duffing's equation in the presence of dissipation. This solution is proved to be an attracting set. We evaluate the maximal amplitude of the autoresonant solution and the time of transition from autoresonant growth of the amplitude to the mode of fast oscillations. Analytical results are illustrated by numerical simulations.
The aim of this paper is to bring together two areas which are of great importance for the study of overdetermined boundary value problems. The first area is homological algebra which is the main tool in constructing the formal theory of overdetermined problems. And the second area is the global calculus of pseudodifferential operators which allows one to develop explicit analysis.
The paper is devoted to pseudodifferential boundary value problems in domains with cuspidal wedges. Concerning the geometry we even admit a more general behaviour, namely oscillating cuspidal wedges. We show a criterion for the Fredholm property of a boundary value problem and derive estimates of solutions close to edges.
We describe a new algebra of boundary value problems which contains Lopatinskii elliptic as well as Toeplitz type conditions. These latter are necessary, if an analogue of the Atiyah-Bott obstruction does not vanish. Every elliptic operator is proved to admit up to a stabilisation elliptic conditions of such a kind. Corresponding boundary value problems are then Fredholm in adequate scales of spaces. The crucial novelty consists of the new type of weighted Sobolev spaces which serve as domains of pseudodifferential operators and which fit well to the nature of operators.
For a domain D subset of IRn with singular points on the boundary and a weight function ω infinitely differentiable away from the singularpoints in D, we consider a C*-algebra G (D; ω) of operators acting in the weighted space L² (D, ω). It is generated by the operators XD F-¹ σ F XD where σ is a homogeneous function. We show that the techniques of limit operators apply to define a symbol algebra for G (D; ω). When combined with the local principle, this leads to describing the Fredholm operators in G (D; ω).
We consider the Dirichlet, Neumann and Zaremba problems for harmonic functions in a bounded plane domain with nonsmooth boundary. The boundary curve belongs to one of the following three classes: sectorial curves, logarithmic spirals and spirals of power type. To study the problem we apply a familiar method of Vekua-Muskhelishvili which consists in using a conformal mapping of the unit disk onto the domain to pull back the problem to a boundary problem for harmonic functions in the disk. This latter is reduced in turn to a Toeplitz operator equation on the unit circle with symbol bearing discontinuities of second kind. We develop a constructive invertibility theory for Toeplitz operators and thus derive solvability conditions as well as explicit formulas for solutions.
We describe a natural construction of deformation quantisation on a compact symplectic manifold with boundary. On the algebra of quantum observables a trace functional is defined which as usual annihilates the commutators. This gives rise to an index as the trace of the unity element. We formulate the index theorem as a conjecture and examine it by the classical harmonic oscillator.
We describe a natural construction of deformation quantization on a compact symplectic manifold with boundary. On the algebra of quantum observables a trace functional is defined which as usual annihilates the commutators. This gives rise to an index as the trace of the unity element. We formulate the index theorem as a conjecture and examine it by the classical harmonic oscillator.
We study the Dirichlet problem in a bounded plane domain for the heat equation with small parameter multiplying the derivative in t. The behaviour of solution at characteristic points of the boundary is of special interest. The behaviour is well understood if a characteristic line is tangent to the boundary with contact degree at least 2. We allow the boundary to not only have contact of degree less than 2 with a characteristic line but also a cuspidal singularity at a characteristic point. We construct an asymptotic solution of the problem near the characteristic point to describe how the boundary layer degenerates.
We consider systems of Euler-Lagrange equations with two degrees of freedom and with Lagrangian being quadratic in velocities. For this class of equations the generic case of the equivalence problem is solved with respect to point transformations. Using Lie's infinitesimal method we construct a basis of differential invariants and invariant differentiation operators for such systems. We describe certain types of Lagrangian systems in terms of their invariants. The results are illustrated by several examples.
Let A be a determined or overdetermined elliptic differential operator on a smooth compact manifold X. Write Ssub(A)(D) for the space of solutions to thesystem Au = 0 in a domain D ⊂ X. Using reproducing kernels related to various Hilbert structures on subspaces of Ssub(A)(D) we show explicit identifications of the dual spaces. To prove the "regularity" of reproducing kernels up to the boundary of D we specify them as resolution operators of abstract Neumann problems. The matter thus reduces to a regularity theorem for the Neumann problem, a well-known example being the ∂-Neumann problem. The duality itself takes place only for those domains D which possess certain convexity properties with respect to A.
On a compact closed manifold with edges live pseudodifferential operators which are block matrices of operators with additional edge conditions like boundary conditions in boundary value problems. They include Green, trace and potential operators along the edges, act in a kind of Sobolev spaces and form an algebra with a wealthy symbolic structure. We consider complexes of Fréchet spaces whose differentials are given by operators in this algebra. Since the algebra in question is a microlocalization of the Lie algebra of typical vector fields on a manifold with edges, such complexes are of great geometric interest. In particular, the de Rham and Dolbeault complexes on manifolds with edges fit into this framework. To each complex there correspond two sequences of symbols, one of the two controls the interior ellipticity while the other sequence controls the ellipticity at the edges. The elliptic complexes prove to be Fredholm, i.e., have a finite-dimensional cohomology. Using specific tools in the algebra of pseudodifferential operators we develop a Hodge theory for elliptic complexes and outline a few applications thereof.
The paper is devoted to asymptotic analysis of the Dirichlet problem for a second order partial differential equation containing a small parameter multiplying the highest order derivatives. It corresponds to a small perturbation of a dynamical system having a stationary solution in the domain. We focus on the case where the trajectories of the system go into the domain and the stationary solution is a proper node.
The inhomogeneous ∂-equations is an inexhaustible source of locally unsolvable equations, subelliptic estimates and other phenomena in partial differential equations. Loosely speaking, for the anaysis on complex manifolds with boundary nonelliptic problems are typical rather than elliptic ones. Using explicit integral representations we assign a Fredholm complex to the Dolbeault complex over an arbitrary bounded domain in C up(n).
The inhomogeneous partial derivative-equation is an inexhaustible source of locally unsolvable equations, subelliptic estimates and other phenomena in partial differential equations. Loosely speaking, for the analysis on complex manifolds with boundary nonelliptic problems are typical rather than elliptic ones. Using explicit integral representations we assign a Fredholm complex to the Dolbeault complex over an arbitrary bounded domain in C-n. (C) 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
We consider quasicomplexes of Boutet de Monvel operators in Sobolev spaces on a smooth compact manifold with boundary. To each quasicomplex we associate two complexes of symbols. One complex is defined on the cotangent bundle of the manifold and the other on that of the boundary. The quasicomplex is elliptic if these symbol complexes are exact away from the zero sections. We prove that elliptic quasicomplexes are Fredholm. As a consequence of this result we deduce that a compatibility complex for an overdetermined elliptic boundary problem operator is also Fredholm. Moreover, we introduce the Euler characteristic for elliptic quasicomplexes of Boutet de Monvel operators.
By quasicomplexes are usually meant perturbations of complexes small in some sense. Of interest are not only perturbations within the category of complexes but also those going beyond this category. A sequence perturbed in this way is no longer a complex, and so it bears no cohomology. We show how to introduce Euler characteristic for small perturbations of Fredholm complexes. The paper is to appear in Funct. Anal. and its Appl., 2006.
We consider a homogeneous pseudodifferential equation on a cylinder C = IR x X over a smooth compact closed manifold X whose symbol extends to a meromorphic function on the complex plane with values in the algebra of pseudodifferential operators over X. When assuming the symbol to be independent on the variable t element IR, we show an explicit formula for solutions of the equation. Namely, to each non-bijectivity point of the symbol in the complex plane there corresponds a finite-dimensional space of solutions, every solution being the residue of a meromorphic form manufactured from the inverse symbol. In particular, for differential equations we recover Euler's theorem on the exponential solutions. Our setting is model for the analysis on manifolds with conical points since C can be thought of as a 'stretched' manifold with conical points at t = -infinite and t = infinite.
We show a Lefschetz fixed point formula for holomorphic functions in a bounded domain D with smooth boundary in the complex plane. To introduce the Lefschetz number for a holomorphic map of D, we make use of the Bergman kernel of this domain. The Lefschetz number is proved to be the sum of the usual contributions of fixed points of the map in D and contributions of boundary fixed points, these latter being different for attracting and repulsing fixed points
We consider a resonantly perturbed system of coupled nonlinear oscillators with small dissipation and outer periodic perturbation. We show that for the large time t similar to s(-2) one component of the system is described for the most part by the inhomogeneous Mathieu equation while the other component represents pulsation of large amplitude. A Hamiltonian system is obtained which describes for the most part the behavior of the envelope in a special case. The analytic results agree with numerical simulations.
Formal poincare lemma
(2007)
Formal Poincaré lemma
(2007)
We show how the multiple application of the formal Cauchy-Kovalevskaya theorem leads to the main result of the formal theory of overdetermined systems of partial differential equations. Namely, any sufficiently regular system Au = f with smooth coefficients on an open set U ⊂ Rn admits a solution in smooth sections of a bundle of formal power series, provided that f satisfies a compatibility condition in U.
For elliptic systems of differential equations on a manifold with boundary, we prove the Fredholm property of a class of boundary problems which do not satisfy the Shapiro-Lopatinskii property. We name these boundary problems generalised elliptic, for they preserve the main properties of elliptic boundary problems. Moreover, they reduce to systems of pseudodifferential operators on the boundary which are generalised elliptic in the sense of Saks (1997).
This is a brief survey of a constructive technique of analytic continuation related to an explicit integral formula of Golusin and Krylov (1933). It goes far beyond complex analysis and applies to the Cauchy problem for elliptic partial differential equations as well. As started in the classical papers, the technique is elaborated in generalised Hardy spaces also called Hardy-Smirnov spaces.
This is a brief survey of a constructive technique of analytic continuation related to an explicit integral formula of Golusin and Krylov (1933). It goes far beyond complex analysis and applies to the Cauchy problem for elliptic partial differential equations as well. As started in the classical papers, the technique is elaborated in generalised Hardy spaces also called Hardy-Smirnov spaces.
We prove the existence of a limit in Hm(D) of iterations of a double layer potential constructed from the Hodge parametrix on a smooth compact manifold with boundary, X, and a crack S ⊂ ∂D, D being a domain in X. Using this result we obtain formulas for Sobolev solutions to the Cauchy problem in D with data on S, for an elliptic operator A of order m ≥ 1, whenever these solutions exist. This representation involves the sum of a series whose terms are iterations of the double layer potential. A similar regularisation is constructed also for a mixed problem in D.
We study the Neumann problem for the de Rham complex in a bounded domain of Rn with singularities on the boundary. The singularities may be general enough, varying from Lipschitz domains to domains with cuspidal edges on the boundary. Following Lopatinskii we reduce the Neumann problem to a singular integral equation of the boundary. The Fredholm solvability of this equation is then equivalent to the Fredholm property of the Neumann problem in suitable function spaces. The boundary integral equation is explicitly written and may be treated in diverse methods. This way we obtain, in particular, asymptotic expansions of harmonic forms near singularities of the boundary.
The classical Lefschetz fixed point formula expresses the number of fixed points of a continuous map f : M-->M in terms of the transformation induced by f on the cohomology of M. In 1966 Atiyah and Bott extended this formula to elliptic complexes over a compact closed manifold. In particular, they presented a holomorphic Lefschetz formula for compact complex manifolds without boundary, a result, in the framework of algebraic geometry due to Eichler (1957) for holomorphic curves. On compact complex manifolds with boundary the Dolbeault complex is not elliptic, hence the Atiyah- Bott theory is no longer applicable. To get rid of the difficulties related to the boundary behaviour of the Dolbeault cohomology, Donelli and Fefferman (1986) derived a fixed point formula for the Bergman metric. The purpose of this paper is to present a holomorphic Lefschetz formula on a strictly convex domain in C-n, n>1
The classical Lefschetz fixed point formula expresses the number of fixed points of a continuous map f : M -> M in terms of the transformation induced by f on the cohomology of M. In 1966 Atiyah and Bott extended this formula to elliptic complexes over a compact closed manifold. In particular, they presented a holomorphic Lefschtz formula for compact complex manifolds without boundary, a result, in the framework of algebraic geometry due to Eichler (1957) for holomorphic curves. On compact complex manifolds with boundary the Dolbeault complex is not elliptic, hence the Atiyah-Bott theory is no longer applicable. To get rid of the difficulties related to the boundary behaviour of the Dolbeault cohomology, Donelli and Fefferman (1986) derived a fixed point formula for the Bergman metric. The purpose of this paper is to present a holomorphic Lefschtz formula on a compact complex manifold with boundary
Function spaces with asymptotics is a usual tool in the analysis on manifolds with singularities. The asymptotics are singular ingredients of the kernels of pseudodifferential operators in the calculus. They correspond to potentials supported by the singularities of the manifold, and in this form asymptotics can be treated already on smooth configurations. This paper is aimed at describing refined asymptotics in the Dirichlet problem in a ball. The beauty of explicit formulas highlights the structure of asymptotic expansions in the calculi on singular varieties.
The aim of this book is to develop the Lefschetz fixed point theory for elliptic complexes of pseudodifferential operators on manifolds with edges. The general Lefschetz theory contains the index theory as a special case, while the case to be studied is much more easier than the index problem. The main topics are: - The calculus of pseudodifferential operators on manifolds with edges, especially symbol structures (inner as well as edge symbols). - The concept of ellipticity, parametrix constructions, elliptic regularity in Sobolev spaces. - Hodge theory for elliptic complexes of pseudodifferential operators on manifolds with edges. - Development of the algebraic constructions for these complexes, such as homotopy, tensor products, duality. - A generalization of the fixed point formula of Atiyah and Bott for the case of simple fixed points. - Development of the fixed point formula also in the case of non-simple fixed points, provided that the complex consists of diferential operarators only. - Investigation of geometric complexes (such as, for instance, the de Rham complex and the Dolbeault complex). Results in this direction are desirable because of both purely mathe matical reasons and applications in natural sciences.
In order to characterise the C*-algebra generated by the singular Bochner-Martinelli integral over a smooth closed hypersurfaces in Cn, we compute its principal symbol. We show then that the Szegö projection belongs to the strong closure of the algebra generated by the singular Bochner-Martinelli integral.
Let X be a smooth n -dimensional manifold and D be an open connected set in X with smooth boundary ∂D. Perturbing the Cauchy problem for an elliptic system Au = f in D with data on a closed set Γ ⊂ ∂D we obtain a family of mixed problems depending on a small parameter ε > 0. Although the mixed problems are subject to a non-coercive boundary condition on ∂D\Γ in general, each of them is uniquely solvable in an appropriate Hilbert space DT and the corresponding family {uε} of solutions approximates the solution of the Cauchy problem in DT whenever the solution exists. We also prove that the existence of a solution to the Cauchy problem in DT is equivalent to the boundedness of the family {uε}. We thus derive a solvability condition for the Cauchy problem and an effective method of constructing its solution. Examples for Dirac operators in the Euclidean space Rn are considered. In the latter case we obtain a family of mixed boundary problems for the Helmholtz equation.
Let X be a smooth n-dimensional manifold and D be an open connected set in X with smooth boundary OD. Perturbing the Cauchy problem for an elliptic system Au = f in D with data on a closed set Gamma subset of partial derivativeD, we obtain a family of mixed problems depending on a small parameter epsilon > 0. Although the mixed problems are subjected to a noncoercive boundary condition on partial derivativeDF in general, each of them is uniquely solvable in an appropriate Hilbert space D-T and the corresponding family {u(epsilon)} of solutions approximates the solution of the Cauchy problem in D-T whenever the solution exists. We also prove that the existence of a solution to the Cauchy problem in D-T is equivalent to the boundedness of the family {u(epsilon)}. We thus derive a solvability condition for the Cauchy problem and an effective method of constructing the solution. Examples for Dirac operators in the Euclidean space R-n are treated. In this case, we obtain a family of mixed boundary problems for the Helmholtz equation
We continue our study of invariant forms of the classical equations of mathematical physics, such as the Maxwell equations or the Lam´e system, on manifold with boundary. To this end we interpret them in terms of the de Rham complex at a certain step. On using the structure of the complex we get an insight to predict a degeneracy deeply encoded in the equations. In the present paper we develop an invariant approach to the classical Navier-Stokes equations.
We continue our study of invariant forms of the classical equations of mathematical physics,
such as the Maxwell equations or the Lamé system, on manifold with boundary. To this end we interpret them in terms of the de Rham complex at a certain step. On using the structure of the complex we get an insight to predict a degeneracy deeply encoded
in the equations. In the present paper we develop an invariant approach to the classical Navier-Stokes equations.
We investigate nonlinear problems which appear as Euler-Lagrange equations for a variational problem. They include in particular variational boundary value problems for nonlinear elliptic equations studied by F. Browder in the 1960s. We establish a solvability criterion of such problems and elaborate an efficient orthogonal projection method for constructing approximate solutions.
We study a boundary value problem for an overdetermined elliptic system of nonlinear first order differential equations with linear boundary operators. Such a problem is solvable for a small set of data, and so we pass to its variational formulation which consists in minimising the discrepancy. The Euler-Lagrange equations for the variational problem are far-reaching analogues of the classical Laplace equation. Within the framework of Euler-Lagrange equations we specify an operator on the boundary whose zero set consists precisely of those boundary data for which the initial problem is solvable. The construction of such operator has much in common with that of the familiar Dirichlet to Neumann operator. In the case of linear problems we establish complete results.
The classical Lefschetz formula expresses the number of fixed points of a continuous map f: M -> M in terms of the transformation induced by f on the cohomology of M. In 1966, Atiyah and Bott extended this formula to elliptic complexes over a compact closed manifold. In particular, they obtained a holomorphic Lefschetz formula on compact complex manifolds without boundary. Brenner and Shubin (1981, 1991) extended the Atiyah-Bott theory to compact manifolds with boundary. On compact complex manifolds with boundary the Dolbeault complex is not elliptic, therefore the Atiyah- Bott theory is not applicable. Bypassing difficulties related to the boundary behaviour of Dolbeault cohomology, Donnelly and Fefferman (1986) obtained a formula for the number of fixed points in terms of the Bergman metric. The aim of this paper is to obtain a Lefschetz formula on relatively compact strictly pseudoconvex subdomains of complex manifolds X with smooth boundary, that is, to find the total Lefschetz number for a holomorphic endomorphism f(*) of the Dolbeault complex and to express it in terms of local invariants of the fixed points of f.
We discuss the Cauchy problem for the Dolbeault cohomology in a domain of C n with data on a part of the boundary. In this setting we introduce the concept of a Carleman function which proves useful in the study of uniqueness. Apart from an abstract framework we show explicit Carleman formulas for the Dolbeault cohomology.
On completeness of root functions of Sturm-Liouville problems with discontinuous boundary operators
(2013)
We consider a Sturm-Liouville boundary value problem in a bounded domain D of R-n. By this is meant that the differential equation is given by a second order elliptic operator of divergent form in D and the boundary conditions are of Robin type on partial derivative D. The first order term of the boundary operator is the oblique derivative whose coefficients bear discontinuities of the first kind. Applying the method of weak perturbation of compact selfadjoint operators and the method of rays of minimal growth, we prove the completeness of root functions related to the boundary value problem in Lebesgue and Sobolev spaces of various types. (C) 2013 Elsevier Inc. All rights reserved.
On completeness of root functions of Sturm-Liouville problems with discontinuous boundary operators
(2012)
We consider a Sturm-Liouville boundary value problem in a bounded domain D of R^n. By this is meant that the differential equation is given by a second order elliptic operator of divergent form in D and the boundary conditions are of Robin type on bD. The first order term of the boundary operator is the oblique derivative whose coefficients bear discontinuities of the first kind. Applying the method of weak perturbation of compact self-adjoint operators and the method of rays of minimal growth, we prove the completeness of root functions related to the boundary value problem in Lebesgue and Sobolev spaces of various types.
In this paper we study the convergence of continuous Newton method for solving nonlinear equations with holomorphic mappings in complex Banach spaces. Our contribution is based on a recent progress in the geometric theory of spirallike functions. We prove convergence theorems and illustrate them by numerical simulations.