Numerical analysis of nonlinear multiharmonic eddy current problems

Summary This work is devoted to non-linear eddy current problems and their numerical treatment by the so-called multiharmonic approach. Since the sources are usually alternating currents, we propose a truncated Fourier series expansion instead of a costly time-stepping scheme. Moreover, we suggest to introduce some regularization parameter that ensures unique solvability not only in the factor space of divergence-free functions, but also in the whole space H(curl). Finally, we provide a rigorous estimate for the total error that is due to the use of truncated Fourier series, the regularization technique and the spatial finite element discretization.This work has been supported by the Austrian Science Fund Fonds zur Förderung der wissenschaftlichen Forschung (FWF) under the grants SFB F013, P 14953 and START Y192.     

Non-free isometric immersions of Riemannian manifolds

Let (V, g) be a Riemannian manifold and let be the isometric immersion operator which, to a map , associates the induced metric on V, where denotes the Euclidean scalar product in . By Nash–Gromov implicit function theorem is infinitesimally invertible over the space of free maps. In this paper we study non-free isometric immersions . We show that the operator (where denotes the space of C ^∞- smooth quadratic forms on ) is infinitesimally invertible over a non-empty open subset of and therefore is an open map in the respective fine topologies.      

Sampling Theory Associated with a Symmetric Operator with Compact Resolvent and De Branges Spaces

Let be a symmetric operator with compact resolvent defined in a Hilbert space For any fixed we consider an entire function K_a which involves the resolvent of Associated with K_a we obtain, by duality in a Hilbert space of entire functions which becomes a De Branges space of entire functions. This property provides a characterization of regardless of the anti-linear mapping which has as its range space. There exists also a sampling formula allowing to recover any function in from its samples at the sequence of eigenvalues of This work has been supported by the grant BFM2003–01034 from the D.G.I. of the Spanish Ministerio de Ciencia y Tecnología.     

A precise pseudodifferential Foldy-Wouthuysen transform for the Dirac equation

We will discuss existence of a unitary pseudodifferential operator U in our algebra of strictly classical pseudodifferential operators on such that U precisely decouples the electronic and positronic part of the Dirac equation, for rather general potentials, and without supersymmetry. Interestingly, an obstruction appears: On may have to remove a finite dimensional space of electronic states, and declare them as positronic, or, vice versa, depending on a certain deficiency index. Possibly, this index is nonzero if electronic bound states penetrate into the positronic continuous spectrum, or vice versa.     

Strong topologies on vector-valued function spaces

Let be a real Banach space and let E be an ideal of L ⁰ over a -finite measure space (, , ). Let (X) be the space of all strongly -measurable functions f: X such that the scalar function , defined by , belongs to E. The paper deals with strong topologies on E(X). In particular, the strong topology the order continuous dual of E(X)) is examined. We generalize earlier results of [PC] and [FPS] concerning the strong topologies.     

On the integrability of “finite energy” solutions for <Emphasis Type="Italic">p</Emphasis>-harmonic equations

We prove a higher integrability result for the gradient of solutions to some degenerate elliptic PDEs, whose model arises in the study of mappings with finite distortion.The nonnegative function which measures the degree of degeneracy of ellipticity bounds lies in the exponential class, i.e. is integrable for some > 0.Our result states that if is sufficiently large, then the gradient of a finite energy solution actually belongs to the Zygmund space L^plog^{L, 1}.     

ε-Invarianten bei verallgemeinerten Carlesonmengen

Generalized Carleson-sets with modulus of continuity () and sets of uniqueness for the classA ={f(z): f regular inD={z: |z|<1} and continuous with modulus of continuity () in } are described by the behavior of their -entropy and -capacity (in the sense of Kolmogorov).     

The intersection map of subgroups and certain classes of finite groups

The goals of this paper are twofold. One is to look at the behavior of the collections of permutable subgroups and S-permutable subgroups under the intersection map into a fixed subgroup of a group. The other is to locally analyze the intersection map in connection with -, -, and -groups. In particular, we generalize Theorem 1 of Bauman [Arch. Math. (Basel) 25:337–340, 1974] to - and -groups.      

Nearly Invariant Subspaces Related to Multiplication Operators in Hilbert Spaces of Analytic Functions

We consider Hilbert spaces of analytic functions defined on an open subset of , stable under the operator M_u of multiplication by some function u. Given a subspace of which is nearly invariant under division by u, we provide a factorization linking each element of to elements of on the inverse image under u of a certain complex disc, for which we give a relatively simple formula. By applying these results to and u(z) = z, we obtain interesting results involving a H²-norm control. In particular, we deduce a factorization for the kernel of Toeplitz operators on Dirichlet spaces. Finally, we give a localization for the problem of extraneous zeros.Submitted: January 18, 2003 Revised: December 20, 2003     

Stable constant mean curvature hypersurfaces in the real projective space

In this paper, we prove that the only compact two-sided hypersurfaces with constant mean curvature H which are weakly stable in and have constant scalar curvature are (i) the twofold covering of a totally geodesic projective space; (ii) the geodesic spheres in ; and (iii) the quotient to of the hypersurface obtained as the product of two spheres of dimensions k and n − k, with k = 1,..., n − 1, and radii r and , respectively, with .     

Ortho and Causal Closure Operations in Ordered Vector Spaces

On a non-trivial partially ordered real vector space V the orthogonality relation is defined by incomparability and is a complete lattice of double orthoclosed sets. In an earlier paper we defined an integrally open ordered vector space V and proved orthomodularity of . We shall say that is an orthogonal set when for all with , we have . We consider two different closure operations and (ortho and causal closure) and prove: V is integrally open iff for every orthogonal set . Hence follows: if V is integrally open, then . Received July 6, 2007; accepted in final form July 31, 2007.     

Über die Riemannsche Einbettungsgeometrie der Veronesemannigfaltigkeiten

Let E be a n-dimensional euclidean vector space. The subset V _k ⁿ ={x ... x | x E} of ^kE is called a Veronesemanifold. The scalar product of E induces a euclidean structure on ^kE. Passing to the corresponding projective space , one may consider as a riemannian submanifold of the space form . In this paper we study properties of the pair of riemannian manifolds.     

Spectra of Compact Composition Operators Over Bounded Symmetric Domains

Let H²(D) denote the Hardy space of a bounded symmetric domain in its standard Harish-Chandra realization, and let be the weighted Bergman space with and where is a critical value depending on D. Suppose that is holomorphic. We show that if the composition operator defined by is compact (or, more generally, power-compact) on H²(D) or then has a unique fixed point z₀ in D. We then prove that the spectrum of as an operator on these function spaces is precisely the set consisting of 0, 1, and all possible products of eigenvalues of These results extend previous work by Caughran/Schwartz and MacCluer. As a corollary, we now have that MacCluers previous spectrum results on the unit ball B_n extend to H^p(n) (not only for p = 2 but for all p > 1) and (for p 1), where ⁿ is the polydisk in      

Hermitian K-theory on a Theorem of Giffen

Let be an exact category with duality. In [1] a category () was introduced and the authors asserted that the loop space of the topological realization of () is homotopy equivalent to Karoubis U-theory space of when = (R), the category of finitely generated projective modules over a ring R with an involution if 2 is invertible in R. Unfortunately, their proof contains a mistake. We present a different proof which avoids their argument.Mathematics Subject Classifications (1991): 19DO6, 19G38, 11E70.     

Laguerre geometry of hypersurfaces in $$\mathbb{R}^{n}$$

Laguerre geometry of surfaces in is given in the book of Blaschke [Vorlesungen über Differentialgeometrie, Springer, Berlin Heidelberg New York (1929)], and has been studied by Musso and Nicolodi [Trans. Am. Math. soc. 348, 4321–4337 (1996); Abh. Math. Sem. Univ. Hamburg 69, 123–138 (1999); Int. J. Math. 11(7), 911–924 (2000)], Palmer [Remarks on a variation problem in Laguerre geometry. Rendiconti di Mathematica, Serie VII, Roma, vol. 19, pp. 281–293 (1999)] and other authors. In this paper we study Laguerre differential geometry of hypersurfaces in . For any umbilical free hypersurface with non-zero principal curvatures we define a Laguerre invariant metric g on M and a Laguerre invariant self-adjoint operator : TM → TM, and show that is a complete Laguerre invariant system for hypersurfaces in with n≥ 4. We calculate the Euler–Lagrange equation for the Laguerre volume functional of Laguerre metric by using Laguerre invariants. Using the Euclidean space , the semi-Euclidean space and the degenerate space we define three Laguerre space forms , and and define the Laguerre embeddings and , analogously to what happens in the Moebius geometry where we have Moebius space forms S ⁿ , and (spaces of constant curvature) and conformal embeddings and [cf. Liu et al. in Tohoku Math. J. 53, 553–569 (2001) and Wang in Manuscr. Math. 96, 517–534 (1998)]. Using these Laguerre embeddings we can unify the Laguerre geometry of hypersurfaces in , and . As an example we show that minimal surfaces in or are Laguerre minimal in .C. Wang Partially supported by RFDP and Chuang-Xin-Qun-Ti of NSFC.     

Analysis of Non-normal Operators via Aluthge Transformation

Let T be a bounded linear operator on a complex Hilbert space . In this paper, we show that T has Bishops property () if and only if its Aluthge transformation has property (). As applications, we can obtain the following results. Every w-hyponormal operator has property (). Quasi-similar w-hyponormal operators have equal spectra and equal essential spectra. Moreover, in the last section, we consider Chs problem that whether the semi-hyponormality of T implies the spectral mapping theorem Re(T) = (Re T) or not.     

The geometry of rational parameterized representations

We study the projective space of univariate rational parameterized equations of degree d or less in real projective space The parameterized equations of degree less than d form a special algebraic variety We investigate the subspaces on and their relation to rational curves in give a geometric characterization of the automorphism group of and outline applications of the theory to projective kinematics.     

Orthocomplemented lattices in ordered groups

On a partially ordered set G the orthogonality relation is defined by incomparability and is a complete orthocomplemented lattice of double orthoclosed sets. We will prove that the atom space of the lattice has the same order structure as G. Thus if G is a partially ordered set (an ordered group, or an ordered vector space), then is a canonically partially ordered set (an ordered quotient group, or an ordered quotient vector space, respectively). We will also prove: if G is an ordered group with a positive cone P, then the lattice has the covering property iff , where g is an element of G and M is the intersection of all maximal subgroups contained in . Received August 1, 2006; accepted in final form May 29, 2007.     

Reflection groups and K-loops

The notion reflection group (, ) was introduced in order to give group theoretical characterizations of absolute planes. Here we consider reflection groups with midpoints and associate to each of them an incidence structure . Then is an incidence space which dimension can assume any value. The motion group together with the set of all reflections in points of a Euclidean or hyperbolic geometry are examples of reflection groups with midpoints. Furthermore the set can be turned into a K-loop. The precise results are summarized in the theorems at the end of the paper.Cordially dedicated to Sibylla Prieß on the occasion of her 60th birthdaySupported by the NATO Scientific Affairs Division grant CRG 900103.     

Finite groups with minimal 1-PIM

Let be a field of characteristic and let G be a finite group. It is well-known that the dimension of the minimal projective cover (the so-called 1-PIM) of the trivial left -module is a multiple of the -part of the order of G. In this note we study finite groups G satisfying . In particular, we classify the non-abelian finite simple groups G and primes satisfying this identity (Theorem A). As a consequence we show that finite soluble groups are precisely those finite groups which satisfy this identity for all prime numbers (Corollary B). Another consequence is the fact that the validity of this identity for a finite group G and for a small prime number implies the existence of an -Hall subgroup for G (Theorem C). An important tool in our proofs is the super-multiplicativity of the dimension of the 1-PIM over short exact sequences (Proposition 2.2).