Search results for "computational"
showing 10 items of 5884 documents
Biharmonic obstacle problem: guaranteed and computable error bounds for approximate solutions
2020
The paper is concerned with a free boundary problem generated by the biharmonic operator and an obstacle. The main goal is to deduce a fully guaranteed upper bound of the difference between the exact minimizer u and any function (approximation) from the corresponding energy class (which consists of the functions in $H^2$ satisfying the prescribed boundary conditions and the restrictions stipulated by the obstacle). For this purpose we use the duality method of the calculus of variations and general type error identities earlier derived for a wide class of convex variational problems. By this method, we define a combined primal--dual measure of error. It contains four terms of different natu…
Gradient and Lipschitz Estimates for Tug-of-War Type Games
2021
We define a random step size tug-of-war game and show that the gradient of a value function exists almost everywhere. We also prove that the gradients of value functions are uniformly bounded and converge weakly to the gradient of the corresponding $p$-harmonic function. Moreover, we establish an improved Lipschitz estimate when boundary values are close to a plane. Such estimates are known to play a key role in the higher regularity theory of partial differential equations. The proofs are based on cancellation and coupling methods as well as an improved version of the cylinder walk argument. peerReviewed
Fixed Angle Inverse Scattering for Almost Symmetric or Controlled Perturbations
2020
We consider the fixed angle inverse scattering problem and show that a compactly supported potential is uniquely determined by its scattering amplitude for two opposite fixed angles. We also show that almost symmetric or horizontally controlled potentials are uniquely determined by their fixed angle scattering data. This is done by establishing an equivalence between the frequency domain and the time domain formulations of the problem, and by solving the time domain problem by extending the methods of [RS19] which adapts the ideas introduced in [BK81] and [IY01] on the use of Carleman estimates for inverse problems.
The Calderón problem for the fractional wave equation: Uniqueness and optimal stability
2021
We study an inverse problem for the fractional wave equation with a potential by the measurement taking on arbitrary subsets of the exterior in the space-time domain. We are interested in the issues of uniqueness and stability estimate in the determination of the potential by the exterior Dirichlet-to-Neumann map. The main tools are the qualitative and quantitative unique continuation properties for the fractional Laplacian. For the stability, we also prove that the log type stability estimate is optimal. The log type estimate shows the striking difference between the inverse problems for the fractional and classical wave equations in the stability issue. The results hold for any spatial di…
Functional a posteriori error estimates for boundary element methods
2019
Functional error estimates are well-established tools for a posteriori error estimation and related adaptive mesh-refinement for the finite element method (FEM). The present work proposes a first functional error estimate for the boundary element method (BEM). One key feature is that the derived error estimates are independent of the BEM discretization and provide guaranteed lower and upper bounds for the unknown error. In particular, our analysis covers Galerkin BEM and the collocation method, what makes the approach of particular interest for scientific computations and engineering applications. Numerical experiments for the Laplace problem confirm the theoretical results.
Whitney forms and their extensions
2021
Whitney forms are widely known as finite elements for differential forms. Whitney’s original definition yields first order functions on simplicial complexes, and a lot of research has been devoted to extending the definition to nonsimplicial cells and higher order functions. As a result, the term Whitney forms has become somewhat ambiguous in the literature. Our aim here is to clarify the concept of Whitney forms and explicitly explain their key properties. We discuss Whitney’s initial definition with more depth than usually, giving three equivalent ways to define Whitney forms. We give a comprehensive exposition of their main properties, including the proofs. Understanding of these propert…
Group Identities on Units of Group Algebras
2000
Abstract Let U be the group of units of the group algebra FG of a group G over a field F . Suppose that either F is infinite or G has an element of infinite order. We characterize groups G so that U satisfies a group identity. Under the assumption that G modulo the torsion elements is nilpotent this gives a complete classification of such groups. For torsion groups this problem has already been settled in recent years.
Finite groups with all minimal subgroups solitary
2016
We give a complete classification of the finite groups with a unique subgroup of order p for each prime p dividing its order. All the groups considered in this paper will be finite. One of the most fruitful lines in the research in abstract group theory during the last years has been the study of groups in which the members of a certain family of subgroups satisfy a certain subgroup embedding property. The family of the subgroups of prime order (also called minimal subgroups) has attracted the interest of many mathematicians. For example, a well-known result of Itˆo (see [8, Kapitel III, Satz 5.3; 9]) states that a group of odd order with all minimal subgroups in the center is nilpotent. Th…
Measurement of the average shape of longitudinal profiles of cosmic-ray air showers at the Pierre Auger Observatory
2019
The profile of the longitudinal development of showers produced by ultra-high energy cosmic rays carries information related to the interaction properties of the primary particles with atmospheric nuclei. In this work, we present the first measurement of the average shower profile in traversed atmospheric depth at the Pierre Auger Observatory. The shapes of profiles are well reproduced by the Gaisser-Hillas parametrization within the range studied, for E>10 17.8 eV .A detailed analysis of the systematic uncertainties is performed using ten years of data and a full detector simulation. The average shape is quantified using two variables related to the width and asymmetry of the profile, and …
The action of a compact Lie group on nilpotent Lie algebras of type {{n,2}}
2015
Abstract We classify finite-dimensional real nilpotent Lie algebras with 2-dimensional central commutator ideals admitting a Lie group of automorphisms isomorphic to SO 2 ( ℝ ) ${{\mathrm{SO}}_{2}(\mathbb{R})}$ . This is the first step to extend the class of nilpotent Lie algebras 𝔥 ${{\mathfrak{h}}}$ of type { n , 2 } ${\{n,2\}}$ to solvable Lie algebras in which 𝔥 ${{\mathfrak{h}}}$ has codimension one.