A stabilizer-free C0 weak Galerkin method for the biharmonic equations

In this article, we present and analyze a stabilizer-free C⁰ weak Galerkin(SF-C0WG) method for solving the biharmonic problem. The SF-C0WG method is formulated in terms of cell unknowns which are C⁰ continuous piecewise polynomials of degree k + 2 with k≥0 and in terms of face unknowns which are discontinuous piecewise polynomials of degree k + 1. The formulation of this SF-C0WG method is without the stabilized or penalty term and is as simple as the C¹ conformin...     

An optimal order multigrid method for biharmonic,C 1 finite element equations

Summary In this paper, we study a special multigrid method for solving large linear systems which arise from discretizing biharmonic problems by the Hsieh-Clough-Tocher,C ¹ macro finite elements or several otherC ¹ finite elements. Since the multipleC ¹ finite element spaces considered are not nested, the nodal interpolation operator is used to transfer functions between consecutive levels in the multigrid method. This method converges with the optimal computational order.     

Efficient algorithms for solving tensor product finite element equations

Summary There are currently several highly efficient methods for solving linear systems associated with finite difference approximations of Poisson's equation in rectangular regions. These techniques are employed to develop both direct and iterative methods for solving the linear systems arising from the use ofC ⁰ quadratic orC ¹ cubic tensor product finite elements.     

Invariant manifolds for weak solutions to stochastic equations

Viability and invariance problems related to a stochastic equation in a Hilbert space H are studied. Finite dimensional invariant C ² submanifolds of H are characterized. We derive Nagumo type conditions and prove a regularity result: any weak solution, which is viable in a finite dimensional C ² submanifold, is a strong solution. These results are related to finding finite dimensional realizations for stochastic equations. There has recently been increased interest in connection with a model for the stochastic evolution of forward rate curves. Received: 15 April 1999 / Revised version: 4 February 2000 / Published online: 18 September 2000     

Groups and C*‐Algebras from a 4‐Dimensional Anzai Flow

The rotation flow on the circle T gives a concrete representation of the irrational rotation algebra, which is an in finite dimensional simple quotient of the group C*‐algebra of the discrete Heisenberg group H₃ analogously certain 2‐ and 3‐dimensional Anzai flows on T ² and T ³are known to give concrete representations of the corresponding quotients of the group C*‐algebras of the groups H₄ and H_5,5. Considered here is the (minimal, effective) 4‐dimensional Anzai flow F = (ℤ, T ⁴) generated by the homeomorphism (y, x, w, v) ↦ (λy, yx, xw, wv); a group H_6,10 is determined by F the faithful in finite dimensional simple quotients of whose group C*‐algebra C*‐(H_6,10 have concrete representations given by F. Furthermore, the rest of the infinite dimensional simple quotients of C*‐(H_6,10 are identified and displayed as C*‐crossed products generated by minimal effective actions and also as matrix algebras over simple C*‐algebras from groups of lower dimension; these lower dimensional groups are H₃ and subgroups of H₄ and H_5,5.     

Finite volume element approximations of nonlocal reactive flows in porous media

In this article, we study finite volume element approximations for two‐dimensional parabolic integro‐differential equations, arising in the modeling of nonlocal reactive flows in porous media. These types of flows are also called NonFickian flows and exhibit mixing length growth. For simplicity, we consider only linear finite volume element methods, although higher‐order volume elements can be considered as well under this framework. It is proved that the finite volume element approximations derived are convergent with optimal order in H¹‐ and L²‐norm and are superconvergent in a discrete H¹‐norm. By examining the relationship between finite volume element and finite element approximations, we prove convergence in L^∞‐ and W^1,∞‐norms. These results are also new for finite volume element methods for elliptic and parabolic equations. © 2000 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 16: 285–311, 2000     

Superconvergence of recovered gradients of discrete time/piecewise linear Galerkin approximations for linear and nonlinear parabolic problems

Superconvergent error estimates in l₂(H¹) and l∞(H¹) norms are derived for recovered gradients of finite difference in time/piecewise linear Galerkin approximations in space for linear and quasinonlinear parabolic problems in two space dimensions. The analysis extends previous results for elliptic problems to the parabolic context, and covers problems in regions with nonsmooth boundaries under certain assumptions on the regularity of the solutions. © 1994 John Wiley & Sons, Inc.     

Error Estimates for Barycentric Finite Volumes Combined with Nonconforming Finite Elements Applied to Nonlinear Convection-Diffusion Problems

The subject of the paper is the derivation of error estimates for the combined finite volume-finite element method used for the numerical solution of nonstationary nonlinear convection-diffusion problems. Here we analyze the combination of barycentric finite volumes associated with sides of triangulation with the piecewise linear nonconforming Crouzeix-Raviart finite elements. Under some assumptions on the regularity of the exact solution, the L ²(L ²) and L ²(H ¹) error estimates are established. At the end of the paper, some computational results are presented demonstrating the application of the method to the solution of viscous gas flow.     

Optimal convergence analysis of an immersed interface finite element method

We analyze an immersed interface finite element method based on linear polynomials on noninterface triangular elements and piecewise linear polynomials on interface triangular elements. The flux jump condition is weakly enforced on the smooth interface. Optimal error estimates are derived in the broken H ¹-norm and L ²-norm.     

A Nonlinear Version of Noether's Type Theorem

Abstract

Let L be a line bundle on a smooth curve C, which defines a birational morphism onto Φ(C) ? P ^r . We prove that, under suitable assumptions on L, which are satisfied by Castelnuovo's curves, a generic section in H ⁰(C, L ²) can be written as α² + β² + γ², with α, β, γ ∈ H ⁰(C, L). If there are no quadrics of rank 3 containing Φ(C), this is true for any section. For canonical curves, this gives a non linear version of Noether's Theorem.     

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.     

A Crank‐Nicolson Petrov‐Galerkin method with quadrature for semi‐linear parabolic problems

We propose and analyze an application of a fully discrete C² spline quadrature Petrov‐Galerkin method for spatial discretization of semi‐linear parabolic initial‐boundary value problems on rectangular domains. We prove second order in time and optimal order H¹ norm convergence in space for the extrapolated Crank‐Nicolson quadrature Petrov‐Galerkin scheme. We demonstrate numerically both L² and H¹ norm optimal order convergence of the scheme even if the nonlinear source term is not smooth. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005.     

Error estimates for the finite element approximation to a maxwell-type boundary value problem

Maxwell's boundary value problem for the time-harmonic case in a smooth, bounded domain G of R ² is considered. The optimal asymptotic L₂(G) and H₁(G)-error estimates 0(h²) and 0(h) resp, are derived for a piecewise linear finite element solution.     

Improved L2 and H1 error estimates for the Hessian discretization method

The Hessian discretization method (HDM) for fourth-order linear elliptic equations provides a unified convergence analysis framework based on three properties namely coercivity, consistency, and limit-conformity. Some examples that fit in this approach include conforming and nonconforming finite element methods (ncFEMs), finite volume methods (FVMs) and methods based on gradient recovery operators. A generic error estimate has been established in L², H¹, and H²-like norms in literature. In this paper, we establish improved L² and H¹ error estimates in the framework of HDM and illustrate it on various schemes. Since an improved L² estimate is not expected in general for FVM, a modified FVM is designed by changing the quadrature of the source term and a superconvergence result is proved for this modified FVM. In addition to the Adini ncFEM, in this paper, we show that the Morley ncFEM is an example of HDM. Numerical results that justify the theoretical results are also presented.     

Finite element methods for semilinear elliptic problems with smooth interfaces

The purpose of this paper is to study the finite element method for second order semilinear elliptic interface problems in two dimensional convex polygonal domains. Due to low global regularity of the solution, it seems difficult to achieve optimal order of convergence with straight interface triangles [Numer. Math., 79 (1998), pp. 175–202]. For a finite element discretization based on a mesh which involve the approximation of the interface, optimal order error estimates in L ² and H ¹-norms are proved for linear elliptic interface problem under practical regularity assumptions of the true solution. Then an extension to the semilinear problem is also considered and optimal error estimate in H ¹ norm is achieved.     

Extension of derivations in the algebra of compact operators

Let C(H) denote the C¹-algebra of all compact linear operators on a complex Hilbert space H. If δ is a closable ¹-derivation in C(H) which anti-commutes with an involutive ¹-antiautomorphism α and has finite spatial deficiency-indices, then there exists an infinitesimal generator δ₀ of a continuous action of R on C(H) which extends δ and anti-commutes with α. This is an analogue of the von Neumann's theorem which states that a symmetric operator commuting with a conjugation J has a self-adjoint extension which also commutes with J.     

Analytic criterion for linear convexity of Hartogs domains with smooth boundary in $ {\mathbb{H}^2} $

We establish a criterion for the local linear convexity of sets in the two-dimensional quaternion space \mathbbH² {\mathbb{H}^2} that are analogs of bounded Hartogs domains with smooth boundary in the two-dimensional complex space \mathbbC² {\mathbb{C}^2} .     

Discontinuous Galerkin finite volume element methods for second‐order linear elliptic problems

In this article, a one parameter family of discontinuous Galerkin finite volume element methods for approximating the solution of a class of second‐order linear elliptic problems is discussed. Optimal error estimates in L² and broken H¹‐ norms are derived. Numerical results confirm the theoretical order of convergences. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2009     

The Crank‐Nicolson/Adams‐Bashforth scheme for the time‐dependent Navier‐Stokes equations with nonsmooth initial data

In this article, we study the stability and convergence of the Crank‐Nicolson/Adams‐Bashforth scheme for the two‐dimensional nonstationary Navier‐Stokes equations with a nonsmooth initial data. A finite element method is applied for the spatial approximation of the velocity and pressure. The time discretization is based on the implicit Crank‐Nicolson scheme for the linear terms and the explicit Adams‐Bashforth scheme for the nonlinear term. Moreover, we prove that the scheme is almost unconditionally stable for a nonsmooth initial data u₀ with div u₀ = 0, i.e., the time step τ satisfies: τ ≤ C₀ if u₀ ∈ H¹ ∩ L^∞; τ |log h| ≤ C₀ if u₀ ∈ H¹ for the mesh size h and some positive constant C₀. Finally, we obtain some error estimates for the discrete velocity and pressure under the above stability condition. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 28: 155‐187, 2012     

Finite codimensional linear isometries on spaces of differentiable and Lipschitz functions

We characterize finite codimensional linear isometries on two spaces, C ⁽ⁿ⁾[0; 1] and Lip [0; 1], where C ⁽ⁿ⁾[0; 1] is the Banach space of n-times continuously differentiable functions on [0; 1] and Lip [0; 1] is the Banach space of Lipschitz continuous functions on [0; 1]. We will see they are exactly surjective isometries. Also, we show that C ⁽ⁿ⁾[0; 1] and Lip [0; 1] admit neither isometric shifts nor backward shifts.