An Inverse Function Theorem for Fréchet Spaces Satisfying a Smoothing Property and (DN)

Classical inverse function theorems of Nash-Moser type are proved for Fréchet spaces that admit smoothing operators as introduced by Nash. In this note an inverse function theorem is proved for Fréchet spaces which only have to satisfy the condition (DN) of Vogt and the smoothing property (S_Ω)_t; for instance, any Fréchet-Hilbert space which is an (Ω)-space in standard form has property (S_Ω)_t. The main result of this paper generalizes a theorem of Lojasiewicz and Zehnder. It can be applied to the space C^∞(K) if the compact K ? ?^N is the closure of its interior and subanalytic; different from classical results the boundary of K may have singularities like cusps. The growth assumptions on the mappings are formulated in terms of the weighted multiseminorms [ ]m,k introduced in this paper; nonlinear smooth partial differential operators on C^∞(K) and their derivatives satisfy these formal assumptions.     

Über eine Verheftung elliptischer Randwert-Probleme

The paper presents a proof of the following-theorem. Let M be a compact closed C^∞-manifold which is the union of two submanifolds X⁺, X^? with common boundary Y. Furthermore, let A:C^∞(M, E) → C^∞(M, F) be an elliptic pseudo-differential operator (E, F complex vector bundles on M) with the transmission property with respect to Y. Then we can conclude: If ??⁺ and ??^? are elliptic boundary value problems for the restrictions of A to X⁺ and X^? respectively then we find an elliptic pseudodifferential operator S on Y with      

Derivations On a C∞-ring

The main purpose of this paper is to provide several results on objects lying between differential geometry and algebraic geometry such as C^∞-rings and derivations on a C^∞-ring. A C^∞-ring is defined as a set with operations by C^∞-functions on Euclidean spaces. A derivation on a C^∞-ring is defined in two method, an ?-derivation and a C^∞-derivation. The main result of this paper is to show that any ?-derivation is a C^∞-derivation for some classes of C^∞-rings (Theorems 3.1, 3.2).     

Euler‐lagrange equation and regularity for flat minimizers of the Willmore functional

Let \input amssym $S\subset{\Bbb R}^2$ be a bounded domain with boundary of class C^∞, and let g_ij = δ_ij denote the flat metric on \input amssym ${\Bbb R}^2$ . Let u be a minimizer of the Willmore functional within a subclass (defined by prescribing boundary conditions on parts of ∂S) of all W^2,2 isometric immersions of the Riemannian manifold (S, g) into \input amssym ${\Bbb R}^3$ . In this article we derive the Euler‐Lagrange equation and study the regularity properties for such u. Our main regularity result is that minimizers u are C³ away from a certain singular set Σ and C^∞ away from a larger singular set Σ ∪ Σ₀. We obtain a geometric characterization of these singular sets, and we derive the scaling of u and its derivatives near Σ₀. Our main motivation to study this problem comes from nonlinear elasticity: On isometric immersions, the Willmore functional agrees with Kirchhoff's energy functional for thin elastic plates. © 2010 Wiley Periodicals, Inc.     

On a class of closed prime ideals in H ∞

Gorkin and Mortini introduced the concept of k-hulls, k(x), of points x in M(H ^∞)????D, and studied the ideal structures of H ^∞ and H ^∞ +C. They posed a problem for which x∈ M(H ^∞)????D the set I(k(x)) is a closed prime ideal. In this article, we give a partial answer for sparse points x.     

Derivatives of Computable Functions

As is well known the derivative of a computable and C¹ function may not be computable. For a computable and C∞ function f, the sequence {f⁽ⁿ⁾} of its derivatives may fail to be computable as a sequence, even though its derivative of any order is computable. In this paper we present a necessary and sufficient condition for the sequence {f⁽ⁿ⁾} of derivatives of a computable and C^∞ function f to be computable. We also give a sharp regularity condition on an initial computable function f which insures the computability of its derivative f′.     

Approximation by herglotz wave functions

By a general argument, it is shown that Herglotz wave functions are dense (with respect to the C^∞(Ω)‐topology) in the space of all solutions to the reduced wave equation in Ω. This is used to provide corresponding approximation results in global spaces (eg. in L2‐Sobolev‐spaces H^m(Ω)) and for boundary data. Copyright © 2004 John Wiley & Sons, Ltd.     

Finite element solutions for three‐dimensional elliptic boundary value problems on unbounded domains

The finite element (FE) solutions of a general elliptic equation ?div([a_ij] ??u) + u = f in an exterior domain Ω, which is the complement of a bounded subset of R ³, is considered. The most common approach to deal with exterior domain problems is truncating an unbounded subdomain Ω_∞, so that the remaining part Ω_B = Ω\Ω _∞ is bounded, and imposing an artificial boundary condition on the resulted artificial boundary Γ_a = Ω _∞ ∩ Ω _B. In this article, instead of discarding an unbounded subdomain Ω_∞ and introducing an artificial boundary condition, the unbounded domain is mapped to a unit ball by an auxiliary mapping. Then, a similar technique to the method of auxiliary mapping, introduced by Babu?ka and Oh for handling the domain singularities, is applied to obtain an accurate FE solution of this problem at low cost. This method thus does have neither artificial boundary nor any restrictions on f. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

Approximation by Maxwell–Herglotz‐fields

By a general argument, it is shown that Maxwell–Herglotz‐fields are dense (with respect to the C^∞(Ω)‐topology) in the space of all solutions to Maxwell's equations in Ω. This is used to provide corresponding approximation results in global spaces (e.g. in L²‐Sobolev‐spaces H^m(Ω)) and for boundary data. Proofs are given within the framework of generalized Maxwell's equations using differential forms. Copyright © 2004 John Wiley & Sons, Ltd.     

Convergence of finite element method for linear second‐order wave equations with discontinuous coefficients

A finite element method is proposed and analyzed for hyperbolic problems with discontinuous coefficients. The main emphasize is given on the convergence of such method. Due to low global regularity of the solutions, the error analysis of the standard finite element method is difficult to adopt for such problems. For a practical finite element discretization, optimal error estimates in L^∞(L²) and L^∞(H¹) norms are established for continuous time discretization. Further, a fully discrete scheme based on a symmetric difference approximation is considered, and optimal order convergence in L^∞(H¹) norm is established. © 2013 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

Maximality properties for isometric interpolating sequences and sequences of trivial points in the spectrum of H∞

Let (x_n) be an isometric interpolating sequence or a sequence of trivial points in the spectrum of H^∞. It is shown that either every cluster point of that sequence has a maximal support set or there exists y ∈ M(H^∞+C) such that the support of x_n is contained in the support of y for infinitely many n. Similar results for Gleason parts are obtained, too. We also investigate the H^∞‐convex hulls of countable unions of support sets and show that whenever supp x ? supp y and x /∈ , then the H^∞‐convex hull of supp x does not meet . (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Mortar element methods for parabolic problems

In this article a standard mortar finite element method and a mortar element method with Lagrange multiplier are used for spatial discretization of a class of parabolic initial‐boundary value problems. Optimal error estimates in L^∞(L²) and L^∞(H¹)‐norms for semidiscrete methods for both the cases are established. The key feature that we have adopted here is to introduce a modified elliptic projection. In the standard mortar element method, a completely discrete scheme using backward Euler scheme is discussed and optimal error estimates are derived. The results of numerical experiments support the theoretical results obtained in this article. © 2008 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2008     

Holomorphic Dependence of the Heins Map

Let D be a bounded convex domain and Hol _c (D,D) the set of holomorphic maps from D to C ⁿ with image relatively compact in D. Consider Hol _c (D,D) as a open set in the complex Banach space H ^∞ _n (D) of bounded holomorphic maps from D to C ⁿ . We show that the map τ: Hol _c (D,D) → D (called the Heins map for D equals to the unit disc of C) which associates to ? ∈ Hol _c (D,D) its unique fixed point τ? ∈ D is holomorphic and its differential is given by dτ_?(v) = (Id-df_τ(?))^?1 v(τ(?)) for v ∈ H ^∞ _n (D).     

On Gevrey solvability and regularity

In this paper we study global C^∞ and Gevrey solvability for a class of sublaplacian defined on the torus T ³. We also prove Gevrey regularity for a class of solutions of certain operators that are globally C^∞ hypoelliptic in the N ‐dimensional torus (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Cochain model for thickenings and its application to rational LS-category

A thickening of a finite CW-complex X is by definition a compact manifold M of the same simple homotopy type as X. We give a model for the cochain complex of the boundary of that manifold, C ^*(δM), as a module over the cochain algebra C ^*(X). We also show how to construct an algebraic model of the rational homotopy type of δC ^*(M) from a model of X. Using this rational model, we prove a new formula for the rational Lusternik–Schnirelmann category of X. Received: 24 September 1999     

Two-level additive Schwarz preconditioners for C 0 interior penalty methods

We study two-level additive Schwarz preconditioners that can be used in the iterative solution of the discrete problems resulting from C⁰ interior penalty methods for fourth order elliptic boundary value problems. We show that the condition number of the preconditioned system is bounded by C(1+(H³/δ³)), where H is the typical diameter of a subdomain, δ measures the overlap among the subdomains and the positive constant C is independent of the mesh sizes and the number of subdomains. This work was supported in part by the National Science Foundation under Grant No. DMS-03-11790.     

Boundary element tearing and interconnecting methods in unbounded domains

Finite element tearing and interconnecting (FETI) methods and boundary element tearing and interconnecting (BETI) methods are special iterative substructuring methods with Lagrange multipliers. For elliptic boundary value problems on bounded domains, the condition number of these methods can be rigorously bounded by C(1+log(H/h))², where H is the subdomain diameter and h the mesh size. The constant C is independent of H, h and possible jumps in the coefficients of the partial differential equation.In certain situations, e.g., in electromagnetic field computations, instead of imposing artificial boundary conditions one may be interested in modelling the real physical behaviour in an exterior domain with a radiation condition. In this work we analyze one-level BETI methods for such unbounded domains and show explicit condition number estimates similar to the one above. Our theoretical results are confirmed in numerical experiments.