The Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
|
|
- Ellen Norris
- 5 years ago
- Views:
Transcription
1 ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria A Global Theory of Algebras of Generalized Functions M. Grosser M. Kunzinger R. Steinbauer J. Vickers Vienna, Preprint ESI 813 (1999) December 27, 1999 Supported by Federal Ministry of Science and Transport, Austria Available via
2 A global theory of algebras of generalized functions M. Grosser, M. Kunzinger, R. Steinbauer Universitat Wien Institut fur Mathematik J. Vickers University of Southampton, Department of Mathematics Abstract. We present a geometric approach to dening an algebra ^G(M) (the Colombeau algebra) of generalized functions on a smooth manifold M containing the space D 0 (M) of distributions on M. Based on dierential calculus in convenient vector spaces we achieve an intrinsic construction of ^G(M). ^G(M) is a dierential algebra, its elements possessing Lie derivatives with respect to arbitrary smooth vector elds. Moreover, we construct a canonical linear embedding of D 0 (M) into ^G(M) that renders C 1 (M) a faithful subalgebra of ^G(M). Finally, it is shown that this embedding commutes with Lie derivatives. Thus ^G(M) retains all the distinguishing properties of the local theory in a global context Mathematics Subject Classication. Primary 46F30; Secondary 46T30. Key words and phrases. Algebras of generalized functions, Colombeau algebras, distributions on manifolds, calculus on innite dimensional spaces. 1 Introduction Colombeau's theory of algebras of generalized functions ([6], [7], [8], [23]) is a well-established tool for treating nonlinear problems involving singular objects, in particular, for studying nonlinear dierential equations in generalized functions. A Colombeau algebra G() on an open subset of R n is a dierential algebra containing D 0 () as a linear subspace and C 1 () as a faithful subalgebra. The embedding D 0 (),! G() commutes with partial dierentiation and the functor! G() denes a ne sheaf of dierential algebras. In view of L. Schwartz's impossibility result ([26]) these properties of Colombeau algebras are optimal in a very precise sense (cf. [23], [24]). In the so-called \full version of the theory the embedding D 0 (),! G() is canonical, as opposed to the \special or \simplied version (cf. the remark below), where the embedding depends on a particular mollier. The main interest in the theory so far has come from the eld of nonlinear partial dierential equations (cf. e.g. [3], [4], [10], [11], [12], as well as 1
3 [23] and the literature cited therein), whereas the development of a theory of Colombeau algebras on manifolds proceeded at a much slower pace. [1] presents an approach which basically consists in lifting the sheaf G from R n to a manifold M. A more rened sheaf-theoretic analysis of Colombeau algebras on manifolds is given in [13]. It treats the \special version of the algebra in the sense of [23], p. 109f, whose elements (termed ultrafunctions by the authors) depend on a real regularization parameter. In both approaches, as well as in the construction envisaged in [2], the canonical embedding C 1 (M),! D 0 (M),! G(M) is lost when passing from M = R n to a general manifold (due to the fact that in these versions action of dieomorphisms commutes with embedding only in the sense of association but not with equality in the algebra). Also, although Lie derivatives of elements of G(M) are dened in [13] the operation of taking Lie derivatives does not commute with the embedding (again this property only holds in the sense of association). To remedy the rst of these defects, J. F. Colombeau and A. Meril in [9] (using earlier ideas of [6]) introduced an algebra of generalized functions on whose elements depend smoothly (in the sense of Silva-dierentiability) on ('; x), where ' 2 D(R n ) and x 2. The aim of [9] is to make the embedding of D 0 () (which is done basically by convolution with the ''s: u 2 D 0 () 7! (('; x) 7! hu(y); '(y? x)i)) commute with the action of dieomorphisms. However, an explicit counterexample in [19] demonstrated that the construction given in [9] is in fact not dieomorphism invariant. Also in [19], J. Jelnek gave an improved version of the theory clarifying a number of open questions but still falling short of establishing the existence of an invariant (local) Colombeau algebra. Finally, this aim was achieved in [16] and [17], where a complete construction of dieomorphism invariant Colombeau algebras on open subsets of R n is developed. Several characterization results derived there will be crucial for the presentation in the following sections. Summing up, the current state of the theory is that a dieomorphism invariant local version (and, therefore, a version on manifolds) of Colombeau algebras providing canonical embeddings of smooth functions and distributions is available. Recent applications of Colombeau algebras to questions of general relativity (e.g. [5], [2], [21], [27], for a survey see [28]) have underscored the need for a theory of algebras of generalized functions on manifolds that enjoys two additional features: rst, it should be geometric in the sense that its basic objects should be dened intrinsically on the manifold itself. Second, the object to be constructed should be a dierential algebra with Lie derivatives commuting with the embedding of D 0 (M). In this paper we construct an algebra ^G(M) satisfying both of these requirements. In particular, elements of ^G(M) possess a Lie derivative ^LX 2
4 with respect to arbitrary smooth vector elds X on M. Moreover, each Lie derivative commutes with the canonical embedding of D 0 (M) into ^G(M), so that in fact all the distinguishing properties of Colombeau algebras on open subsets of R n are retained in the global case. The key concept leading to a global formulation of the theory is that of smoothing kernels: Denition 3.3 (i) below is in a sense the dieomorphism invariant `essence' of the process of regularization via convolution and linear scaling on R n while 3.3 (ii) is the invariant formulation of the interplay between x- and y-dierentiation in the local context. Finally, a number of localization results in section 4 allow one to make full use of the well-developed local theory also in the global context. 2 Notation and terminology, the local theory Throughout this paper, M will denote an oriented paracompact C 1 -manifold of dimension n. An atlas of M will usually be written in the form A = f(u ; ) : 2 Ag. By n c (M) we mean the space of compactly supported (smooth) n-forms on M. Locally, for coordinates y 1 ; : : : ; y n on U, elements of n c ( (U )) will be written as ' d n y := ' dy 1 ^ ^ dy n. The pullback of any! 2 n c ( (U )) under is written as (!). Then R M (' d n y) = R ' (U) dn y for all ' d n y 2 n( c (U )). For U(open) M open we will notationally suppress the embedding of n(u) into c n c (M), and similarly for the inclusion of D(U) (compactly supported smooth functions with support contained in U) into D(M). We generally use the following convention: if B (U ) then ^B :=?1 (B) and if f : (U )! R resp. C then ^f := f. A similar \hat-convention will be applied to the function spaces to be dened in the following section. Moreover, since M is supposed to be oriented we can and shall identify n-forms and densities henceforth. For an open subset of R n, the space of distributions on (i.e., the dual of the (LF)-space D()) will be denoted by D 0 (). For a dieomorphism : ~!, the pullback of any u 2 D 0 () under is dened by h (u); 'i = hu(y); '(?1 (y)) jdet D?1 (y)ji (1) Concerning distributions on manifolds we follow the terminology of [14] and [22], so the space of distributions on M is dened as D 0 (M) = n c (M)0. Observe that in this setting test objects no longer have function character but are n-forms. In the context of Colombeau algebras it is natural to regard smooth functions as regular distributions (which in the non-orientable case enforces the use of test densities; this is in accordance with [18] but has to be distinguished from the setting of [15]). 3
5 Operations on distributions are dened as (sequentially) continuous extensions of classical operations on smooth functions. In particular, for X 2 X(M) (the space of smooth vector elds on M) and u 2 D 0 (M) the Lie derivative of u with respect to X is given by hl X u;!i =?hu; L X!i. If u 2 D 0 (M), (U ; ) 2 A then the local representation of u on U is the element (?1 ) (u) 2 D 0 ( (U )) dened by h(?1 ) (u); 'i = huj U ; ('dn y)i 8' 2 D( (U )) (2) It should be clear from (1) and (2) that the character of test objects as n- forms is actually already built into the local theory of distributions on R n (i.e., on the right hand side of (1) u acts exactly on the coecient function of (?1 ) (' d n y)). As in [16], [17] dierential calculus in innite dimensional vector spaces will be based on the presentation in [20]. The basic idea is that a map f : E! F between locally convex spaces is smooth if it transports smooth curves in E to smooth curves in F, where the notion of smooth curves is straightforward (via limits of dierence quotients). The dieomorphism invariant theory of Colombeau algebras on open subsets of R n introduced in [16] is based on this notion of dierentiability. Of the two (equivalent) formalisms for describing the dieomorphism invariant local Colombeau theory analyzed in [16], Section 5 only one (the so-called J-formalism which was employed by Jelnek in [19]) lends itself naturally to an intrinsic generalization on manifolds, as the embedding of distributions does not involve a translation (see below). We briey recall the main features of this theory. Let R n open; then dene A 0 () = f' 2 D()j A q (R n ) = f' 2 A 0 (R n )j '()d = 1g '() d = 0; 1 jj q; 2 N n 0g (q 2 N) : The basic space of the dieomorphism invariant local Colombeau algebra is dened to be E() = C 1 (A 0 () ). The algebra itself is constructed as the quotient of the space of moderate modulo the ideal of negligible elements R of the basic space where the respective properties are dened by plugging scaled and transformed \test objects into R and analyzing its asymptotic behavior on these \paths as the scaling parameter tends to 0. Dieomorphism invariance of the whole construction is achieved by dieomorphism invariance of this process termed \testing for moderateness resp. negligibility in [16], Section 9. We shall discuss this matter in some more detail at the end of this section but now proceed by dening the actual \test 4
6 objects. Set I = (0; 1]. Let C 1(I ; A b 0(R n )) be the space of smooth maps : I! A 0 (R n ) such that for each K (i.e., K a compact subset of ) and any 2 N n 0, the set f@ x (; x) j 2 (0; 1]; x 2 Kg is bounded in D(R n ). For any m 1 we set A 2 m() := f 2 C 1 b A m () := f 2 C1 b (I ; A 0 (R n ))j sup j x2k (I ; A 0(R n ))j sup j x2k (; x)() dj = O( m ) (1 jj m) 8K g (; x)() dj = O( m+1?jj ) (1 jj m) 8K g Elements of A 2 m() are said to have asymptotically vanishing moments of order m (more precisely, in the terminology of [17], elements of A 2 m() are of type [A g ], the abbreviation standing for asymptotic vanishing of moments globally, i.e., on each K ). The spaces A 2 m() and A m() play a crucial role in the characterizations of the algebra ([16], Section 10) and in Section 4 below (cf. also the discussion of dieomorphism invariance at the end of this section). Also for later use we note that A 2 m() A m() A 2 2m?1(). For x 2 R n, 2 I we dene translation resp. scaling operators by T x : D(R n )! D(R n ), T x (') = '(:? x) and S : D(R n )! D(R n ), S ' =?n '( : ). Now the subspaces of moderate resp. negligible elements of E() are dened by E m () = fr 2 E() j 8K 8 2 N n 0 9N 2 N 8 2 C 1 b (I ; A 0(R n )) : sup j@ (R(T x S (; x); x))j = O(?N ) (! 0)g x2k N () = fr 2 E() j 8K 8 2 N n 0 8r 2 N 9m 2 N 8 2 C 1 b (I ; A m (R n )) : sup j@ (R(T x S (; x); x))j = O( r ) (! 0)g x2k By [16], Th. 7.9 and [17], Corollaries 16.8 and 17.6, R 2 E m () is negligible i 8K 8 2 N n 0 8r 2 N 9m 2 N 8 2 A 2 m(); 9C > 0 9 > 0 8 (0 < < ) 8x 2 K: j@ (R(T x S (; x); x))j C r : The dieomorphism invariant Colombeau algebra G() on is the quotient algebra E m ()=N (). Partial derivatives in G() are dened as (D i R)('; x) =?((d 1 R)('; x))(@ i ') + (@ i R)('; x) (3) where d 1 i denote dierentiation with respect to ' and x i, respectively. Note that formula (3) is exactly the result of translating the usual partial 5
7 dierentiation from the C-formalism to the J-formalism (cf. [16], Section 5). With these operations,! G() becomes a ne sheaf of dierential algebras on R n. For R 2 E m () we denote by cl[r] its equivalence class in G(). The map : D 0 ()! G() u! cl[('; x)! hu; 'i] provides a linear embedding of D 0 () into G() whose restriction to C 1 () coincides with the embedding : C 1 ()! G() f! cl[('; x)! f(x)] so renders C 1 () a faithful subalgebra and D 0 () a linear subspace of G(). Moreover, commutes with partial derivatives due to the specic form of (3). The pullback of R 2 E() under a dieomorphism : ~! is dened as (^R)( ~'; ~x) = R(( ~'; ~x)) where ( ~'; ~x) = (( ~'?1 ) j det D?1 j; (~x)). Pullback under dieomorphisms then commutes with the embedding of D 0 () into G(). Finally we return to the issue of dieomorphism invariance. Since the action of a dieomorphism on R 2 E() is dened in a functorial way dieomorphisminvariance of the denition of the moderate resp. negligible elements of E() indeed is invariant if the class of scaled and transformed \test objects is; more precisely if (; x) = S?1 T?x pr 1 (T?1 x S (; ~?1 x)();?1 x) = (; ~?1 ( + x)??1 x?1 x) j det D?1 ( + x)j (4) is a valid \test object if ~ (; ~x) was. However, if ~ 2 C 1 b (I ; A q(r n )) in general will neither be dened on all of I nor will its moments be vanishing up to order q. To remedy these defects a rather delicate analysis of the testing procedure is required: Denote by C 1 b;w (I ; A 0(R n )) the space of all : D! A 0 (R n ) where D is some subset (depending on ') of (0; 1] and for D; ' the following holds: For each L there exists 0 and a subset U of D which is open in (0; 1] such that (0; 0 ] L U( D) and is smooth on U (5) f@ (; x) j 0 < 0 ; x 2 Lg is bounded in D(R n ) 8 2 N n 0 (6) 6
8 (the subscript w signies the weaker requirements on the domain of denition of ). Then by [16], Th R 2 E() is moderate i 8K 8 2 N n 0 9N 2 N 8 2 C 1 b;w (I ; A 0(R n )); : D! A 0 (R n ))9C > 0 9 > 0 8 (0 < < ) 8x 2 K: (; x) 2 D and j@ (R(T x S (; x); x))j C?N Moreover, by [16], Th. 7.14, (4) is an element of C 1 b;w (I ~ ; A 0 (R n )) for every 2 C 1 b (I ; A 0(R n )). The subspace of C 1 b;w (I ; A 0(R n )) consisting of those whose moments up to order m vanish asymptotically on each compact subset of will be written as A 2 m;w() (also, A m;w() is dened analogously). By the proof of [16], Cor R 2 E m () is negligible i 8K 8 2 N n 0 8r 2 N 9m 2 N 8 2 A 2 m;w(); : D! A 0 (R n )) 9C > 0 9 > 0 8 (0 < < ) 8x 2 K: (; x) 2 D and j@ (R(T x S (; x); x))j C r and if 2 A 2 m;w() then (4) denes an element of A 2 [ m+1 2 ];w( ~). These facts directly imply dieomorphism invariance of local Colombeau algebras ([16], Thms and 7.16). The dieomorphism invariance of the scaled, transformed \test objects demonstrated above suggests to choose an analogue of these as the main \test objects on the manifold, where no natural scaling resp. translation operator is available. It is precisely this notion which is captured in the denition of the smoothing kernels below. 3 Smoothing kernels and basic function spaces In this section we introduce the basic denitions and operations needed for an intrinsic denition of algebras of generalized functions on manifolds. 3.1 Denition ^A 0 (M) := f! 2 n c (M) :! = 1g The basic space for the forthcoming denition of the Colombeau algebra on M is dened as follows: 3.2 Denition ^E(M) = C 1 ( ^A 0 (M) M) 7
9 Then (?1 )( ^A 0 ( (U )) (U )) ^A 0 (M) M and locally we have ^E( (U )) = E( (U )), the isomorphism being eected by ^E( (U )) 3 R 7! [('; x) 7! R(' d n y; x)]. In what follows, we will therefore use ^E( (U )) and E( (U )) interchangeably. Clearly the map?1 : n( c (U )) (U )! n (U c ) U,! n (M) M c is smooth. Therefore, for any R 2 ^E(M) its local representation (?1 )^R := R (?1 ) is an element of ^E( (U )). More generally, if : M 1! M 2 is a dieomorphism and R 2 ^E(M 2 ) then its pullback ^(R) 2 ^E(M 1 ) under is dened as R where (!; p) = ((?1 )!; (p)) and clearly ( 1 2 )^= ^ 2 ^ 1 for dieomorphisms 1, 2. Let f : M M! Vn T M be smooth such that for each (p; q) 2 M M, f(p; q) belongs to the ber over q or, equivalently, that for each xed p 2 M, f p := (q 7! f(p; q)) represents a member of n (M). Obviously, p 7! f p 2 C 1 (M; n (M)) in this case. Given a smooth vector eld X on M, we dene two notions of Lie derivatives of f with respect to X which, essentially, arise as Lie derivatives of q 7! f(p; q) resp. p 7! f(p; q): On the one hand, viewing n (M) together with the topology of pointwise (i.e., berwise) convergence as a locally convex space we dene (L 0 Xf)(p; q) := L X (p 7! f(p; q)) = d dt on the other hand, we set (L X f)(p; q) := L X (q 7! f(p; q)) = d dt 0 0 (f(fl X t )(p); q); (7) ((Fl X t ) f p )(q) (8) where the latter symbol L X denotes the usual Lie derivative on the bundle n (M). Now we are ready to introduce the space of smoothing kernels which will serve as an analogue for the (unbounded) sequences (' ) used in [7]. 3.3 Denition 2 C 1 (I M; ^A 0 (M)) C 1 (I M M; n T M) is called a smoothing kernel if it satises the following conditions (i) 8K M 9 0, C > 0 8p 2 K 8 0 : supp (; p) B C (p) 8
10 (ii) 8K M 8k; l 2 N 0 8X 1 ; : : : ; X k ; Y 1 ; : : : ; Y l 2 X(M) sup kl Y1 : : : L Y l (L0 X 1 + L X1 ) : : : (L 0 + L Xk Xk )(; p)(q)k = O(?(n+l) ) p2k q2m The space of smoothing kernels on M is denoted by ~ A 0 (M). In (i) the radius of the ball B C (p) has to be measured with respect to the Riemannian distance induced by a Riemannian metric h on M. By Lemma 3.4 below, (i) then holds in fact for the distance induced by any Riemannian metric h 0 with a new set of constants 0 (h 0 ) and C(h 0 ). Similarly in (ii), k : k denotes the norm induced on the bers of n c (M) by any Riemannian metric on M (i.e. convergence with respect to k : k amounts to convergence of all components in every local chart). Thus both (i) and (ii) are independent of the Riemannian metric chosen on M, hence intrinsic. 3.4 Lemma Let M be a smooth paracompact manifold and let h 1, h 2 be Riemannian metrics on M. Then for all K M there exist 0 (K) and C > 0 such that 8p 2 K 8 0 : B (2) (p) B (1) C (p) where B (i) (p) = fq 2 M : d i (p; q) < g and d i denotes Riemannian distance with respect to h i. Proof. We rst show that 8K M 9C 0 such that h 1 (p)(v; v) Ch 2 (p)(v; v) 8p 2 K 8v 2 T p M: (9) Without loss of generality we may assume K U for some chart ( ; U ). Denoting by h i (i = 1; 2) the local representations of h i in this chart it follows that f : (x; v)! h 1 (x)(v; v) h 2 (x)(v; v) is continuous (even smooth) on (U ) R n n f0g. Thus sup f(x; v) = x2 (K) v2rn nf0g sup x2 (K) v2@b 1 eucl (0) f(x; v) < 1 with B eucl 1 (0) the Euclidian ball of radius 1 around 0. Next we choose a geodesically convex (with respect to h 2 ) relatively compact neighborhood U p of p 2 M (cf. e.g. [25], Prop. 5.7). Moreover, let C be the 9
11 square root of the constant in (9) with K = U p. Given any q; q 0 2 U p let be the unique h 2 -geodesic in U p connecting q and q 0. Then d 1 (q; q 0 ) L 1 () CL 2 () = Cd 2 (q; q 0 ) where L i denotes the length of with respect to h i. Now for each p 2 K there exist U p and C p as above and we choose p such that B (2) p (p) U p. Then there exist some p 1 ; : : : ; p m in K with K S m i=1 B(2) p i (p i ) =: U and we set 0 := min(dist 2 p 1 ; : : : ; pm ) and C := max 1im C p i. Let p 2 K, 0, q 2 B (2) (p). There exists some i with d 2 (p; p i ) p i 2 and by construction d 2 (p; q) p i, so p; q 2 B(2) 2 p i (p i ) U p i. Hence d 1 (p; q) C p id 2 (p; q) and, nally, q 2 B (1) (p). 2 C The next step is to introduce the following grading on the space of smoothing kernels. 3.5 Denition For each m 2 N we denote by ~ A m (M) the set of all 2 ~A 0 (M) such that 8f 2 C 1 (M) and 8K M sup jf(p)? p2k M f(q)(; p)(q)j = O( m+1 ) 3.6 Remark. 3.5 is modelled with a view to reproducing the main technical ingredient for proving j C 1 = (i.e. the fact that the embedding of distributions into G coincides with the \identical embedding on C 1, cf. e.g., [16], Th. 7.4 (iii)) in the local theory. Essentially, the argument in the R local case consists in (substitution of y 0 = y?x and) Taylor expansion of (f(x)? f(y))?n '( y?x )dy (' 2 A 0) yielding appropriate powers of as to establish this term to be negligible. In fact, this argument is at the very heart of Colombeau's construction and may be viewed as the main technical motivation for the concrete form of the sets A q and, a fortiori, of the ideal N. In 3.5 we turn the tables and dene the sets ~A m (M) by the analogous estimate. Moreover, as we shall see shortly (cf. 4.2), locally there is a one-toone correspondence between elements of Am ~ (M) and elements of A m, so the two approaches are in fact equivalent (although only one of them, namely the one occurring in 3.5 admits an intrinsic formulation on M). We are now in a position to prove the nontriviality of the space of smoothing kernels as well as of the spaces ~ A m (M): 3.7 Lemma (i) ~ A0 (M) 6= ;. 10
12 (ii) ~A m (M) 6= ; (m 2 N). Proof. (i) Let (U ; ) 2A be an oriented atlas of M such that each U is relatively compact. Let f^ j 2 Ag be a subordinate partition of unity and pick ' 2 A 0 (R n ). For each, choose ^ 1 2 D(U ) such that ^ 1 1 in an open neighborhood W U of supp ^. Let := ^?1, 1 := ^ 1?1. Now set 0 (; x)(y) :=?n '( y? x ) : There exists some 0 = 0(supp ) in (0; 1] such that for each x 2 supp( ) and each 0 < we have supp 0 0 (; x) (W ). Choose : R! [0; 1] smooth, 1 on (0; 0 ] and 3 0 on ( 0 ; 1]. Finally, let! 2 ^A 2 0 (M). Then we dene our prospective smoothing kernel by (; p)(q) := X ^ (p) ()? 0 (; (p))( : ) 1 ( : )d n y + (1? ())! (q)(10) R By construction, is smooth and (; p) = 1 for all 2 (0; 1] and all p 2 M. For any given K M, set K := min 0 where ranges over 3 the (nitely many) with K \ U 6= 0; then the terms in (10) containing! vanish for p 2 K and K. In order to prove 3.3 (i), let K M. Since for p 2 K and K, supp (; p) is contained in a nite union of supports of q 7! [? 0 (; (p))( : ) 1 ( : )dn y ](q) it suces to consider only one term of the latter form. Clearly, there exist C and (0 <) 0 ( K ) such that supp 0 (; x) B eucl C (x) for x 2 supp and all 0. Extending the pullback under of a suitable cut-o of the Euclidian metric on (U ) to a Riemannian metric on M, the result follows from 3.4. S m Concerning 3.3 (ii), since K = K i=1 i, K i U i, it suces to estimate on each K i (0; i ] for some i > 0. Thus we may assume that K U 0 for some xed 0. Let L be a compact neighborhood of K in U 0 and let L in what follows. Each of the terms in (10) for which supp ^ does not intersect K vanishes in some open neighborhood of K and can therefore be neglected. Each of the nitely many remaining terms vanishes outside supp ^. Since K (K n supp ^ ) [ (K \ W ) it is sucient to let p range over K \ W in the estimate. Now for p 2 L, 1 can be omitted from the 11
13 corresponding term in (10). Thus, using local coordinates of (U 0 ; 0 ) we have to estimate a nite number of Lie derivatives of terms of the form ~y? ~x (?1 ) ~y 7!?n ' d n ~y?1 (y)? ~x = y 7!?n ' det D?1 (y) d n y ; (11) each for ~x 2 (K \ W ), respectively, where = 0?1 and (~z) = z. Note that for ~x in a compact subset of (U 0 \ U ) and suciently small (say, 1 ( K )) the support of ~y? ~x ~y 7!?n ' d n ~y is contained in (U 0 \ U ), rendering (11) well-dened. Setting?1 (x + y)??1 (x) (; x)(y) := ' det D?1 (x + y) ; (12) the coecient of the right hand side of (11) can be written as T x S (; x). By [16], Th and the remark following it, for each compact set L there exists 2 ( 1 ) such that f@ x(; x)( : ) j 0 < 2 ; x 2 Lg is (dened and) bounded in D for each 2 N n 0. Of course (12) corresponds to (2) in [9] resp. to (42) in [19], the only dierence being that since we use an oriented atlas and our test objects are forms the determinants are automatically positive. Since L X ( d n y) = (L X ) d n y + L X (d n y), in order to verify 3.3 (ii) we have to estimate terms of the form L Y1 : : : L Yl 0 (L 0 X 1 + L X1 ) : : : (L 0 X k 0 + L Xk 0)T x S (; x)(y) (13) where X i = nx a i ri Y j = nx ri=1 sj =1 b j sj are local representations in i(u i) of vector elds on M and 0 k 0 k, 0 l 0 l. Explicitly, (13) is given by l Y 0 j=1 0 n sj=1 b j sj 1 Y A k s j i=1 nx ri=1! a i + r i ai T r x S (; x)(y): i 12
14 @ Note s j T x S T x s j and a i + r i ai T r x S = i T x S a i + 1 r i (ai (x + y)? ri ai : r i Each of the maps (; x; y)! 8 < : a i (x + y)? ri ai (x) ri for 6= 0; (14) Da i (x)y ri for = 0 is smooth (hence uniformly bounded) on each relatively compact subset of its domain of denition. Due to the boundedness of f@ x(; x)(:) j 0 < 2 ; x 2 0 (K \ W )g only values of y from a bounded region of R n are relevant in (14). Thus one further restriction of the range of establishes the claim. (ii) Choose the 0 as in (i), yet this time additionally requiring ' 2 A m(r n ). To estimate sup p2k j R M (; p)(q) ^f(q)? ^f(p)j for some K M and ^f 2 C 1 (M) again only nitely many terms of (10) have to be taken into account; also, for small, the terms involving! vanish and 1 can be neglected. Then sup j p2k\supp ^ M = sup j x2 (K\supp ^) ( 0 (; (p))(:) d n y)(q) ^f(q)? ^f(p)j = (U) 1 '(y? x )f(y) d n y? f(x)j = O( m+1 ) n 2 Next, we introduce the appropriate notion of Lie derivative for elements of ^E(M). 3.8 Denition For any R 2 ^E(M) and any X 2 X(M) we set (^L X R)(!; p) :=?d 1 R(!; p)(l X!) + L X (R(!; : ))j p (15) Here, d 1 R(!; x) denotes the derivative of!! R(!; x) in the sense of [16], section 4. In order to obtain a structural description of this Lie derivative (which, at the same time, entails ^L X R 2 ^E(M) for R 2 ^E(M)), for any X 2 X(M) dene X A 2 X( ^A 0 (M)) by X A : ^A 0 (M)! ^A 00 (M) X A (!) =?L X! 13
15 (where ^A 00 (M) is the linear subspace of n c (M) parallel to ^A 0 (M), i.e. ^A 00 (M) = f! 2 n c (M)j R! = 0g). Then X A R( : ; p)(!) = d 1 R(!; p)(?l X!), so that (^L X R)(!; p) = (L (X A;X)R)(!; p) = (L (?L X : ;X)R)(!; p) i.e. ^LX is the Lie derivative of R with respect to the smooth vector eld (X A ; X) on ^A 0 (M) M. Thus, indeed ^LX R 2 ^E(M). 3.9 Remark. (Local description of ^L X ) Let X 2 X(M) and set X = (?1 ) (Xj U ). Since the derivative of the (linear and continuous) map : n( c (U ))! n(u c ) in any point equals the map itself, on U we obtain (writing R in place of Rj U ): ((?1 )^(^LX R))(' d n y; x) = (^LX R)( (' dn y);?1 (x)) = L X (R( (' d n y); : ))(?1 (x))? (d 1 R)( (' d n y);?1 (x))(l X ( (' d n y)) ) {z } (L X (' dn y)) = [L X ((?1 )^R))](' d n y; x)? [d 1 ((?1 )^R)(' d n y; x)](l X (' d n y)) In particular, if X y i (1 i n) then this exactly reproduces the local algebra derivative with respect to y i given in (3). Finally we are in a position to dene the subspaces of moderate and negligible elements of ^E(M) Denition R 2 ^E(M) is moderate if 8K M 8k 2 N 0 9N 2 N 8 X 1 ; : : : ; X k 2 X(M) 8 2 ~ A 0 (M) sup jl X1 : : : L (R((; p); p))j = X k O(?N ) (16) p2k The subset of moderate elements of ^E(M) is denoted by ^E m (M) Denition R 2 ^E(M) is called negligible if it satises 8K M 8k; l 2 N 0 9m 2 N 8 X 1 ; : : : ; X k 2 X(M) 8 2 ~ A m (M) sup jl X1 : : : L (R((; p); p))j = X k O(l ) (17) p2k The set of negligible elements of ^E(M) will be denoted by ^N (M). 14
16 4 Construction of the algebra, localization The following result is immediate from the denitions: 4.1 Theorem (i) ^E m (M) is a subalgebra of ^E(M). (ii) ^N (M) is an ideal in ^E m (M). For the further development of the theory it is essential to achieve descriptions of both moderateness and negligibility that relate these concepts to their local analogues [19, 16], thereby making available the host of local results already established for open subsets of R n also in the global context. As a rst step, we are going to examine localization properties of smoothing kernels: 4.2 Lemma Denote by (U ; ) a chart in M. (A) Transforming smoothing kernels to local test objects. (i) Let be a smoothing kernel. Then the map dened by (; x)(y)d n y := n ((?1 ) (;?1 x))(y + x) (x 2 (U ); y 2 R n ) (18) is an element of C 1 b;w (I (U ); A 0 (R n )). (ii) If, in addition, 2 ~A m (M) for some m 2 N then 2 A m;w ( (U )), i.e., (; x)(y)y dy = O( m+1?jj ) (1 jj m) (19) uniformly on compact sets. In particular, if 2 ~ A 2m?1 (M) then 2 A 2 m;w( (U )). (B) Transporting local test objects onto the manifold. (i) Let 2 C 1 b (I ; A 0(R n )) and 1 2 ~A 0 (M). Let K (U ), ; 1 2 D( (U )) with 1 on an open neighborhood of K and 1 1 on an open neighborhood of supp. (; p) := (1? ^(p)()) 1 (; p) 1 +^(p)() (; p)( y? p n 2 ) 1 (y)d n y (20) is a smoothing kernel (the smooth cut-o function is dened in the proof). 15
17 (ii) If, in addition, 2 A m ( (U )) and 1 2 ~A m (M) then 2 ~A m (M). In particular, if 2 A 2 m( (U )) and 1 2 ~ A m (M) then 2 ~ A m (M). Proof. (A) (i) Let ^D1 := f(; p) 2 I U : supp (; p) U g and set D = int((id )( ^D 1 )). Then evidently is smooth on D. Furthermore (5) is obvious from (i) in 3.3. Concerning (6), set Then we have 0 (; x)d n y := (?1 ) ((;?1 (x))) ((; x) 2 D 1 x xs?1 T?1 x 0 = jj S?1 T?1 y (@ x y ) 0 : (21) Let now K (U ), x 2 K and (K). By Denition 3.3 (i) and Lemma 3.4 there exists a constant C such that diam(supp 0 (; x)) C for all S x 2S K. But then diam(supp (; x)) C for all such x. Hence supp x(; x) is bounded uniformly in. Moreover, observing that + ) ( 0 (; x)(y)d n y) = + ) 0 (; x)(y))d n y, from Denition 3.3 (ii) we y (@ x +@ y ) 0 = O(?(jj+n) ) which together with equation (21) gives the desired boundedness property. (ii) Now suppose that 2 ~A m (M) and for each jj m choose f 2 D(U ) D(M) such that f?1 (x) = x in a neighborhood of K (U ). Then by assumption we have sup j x2k M f (q)(;?1 (x))(q)? f (?1 (x))j = O(m+1 ) For suciently small this implies sup j x2k?n (; x)( y? x R n )y dy? x j = O( m+1 ) or, upon substituting z =?1 (y? x) and expanding: X sup x2k jj x? (; x)(z)z dz R = O(m+1 ) n 0< From this, we prove (19) by induction with respect to jj: for = e k (the k-th unit vector) we obtain j R R n (; x)(z)z k dzj = O( m ). Supposing now that (19) has already been proved for jj? 1, the result for 16
18 jj follows from sup x2k j X 0<< = O( m+1 ) jj x? (; x)(z)z dz + jj (; x)(z)z R R dzj n n {z } O( m+1?jj ) (B) (i) First note that by the boundedness assumption all supports of (I supp()) are in a xed compact subset of R n. By [16], Lemma 6.2 we conclude that? there exists > 0 such that for all and x 2 1 supp supp n (; x)( :?x) f 1 1g. Now we are in the position to dene as follows. Let 2 C 1 (R), 0 1 and R 1 on (?1; =3) and 0 on (=2; 1). This actually implies (; p) = 1 8p;. Smoothness again is evident while condition 3.3 (i) is an easy consequence of [16], Lemma (ii) then follows exactly as (13) is proved in Lemma 3.7. (ii) Let ^f 2 C 1 (M) and p 2 ^K U ; then j M (; p)(q) ^f(q)? ^f(p)j j1? ^(p)()j j j^(p)()j j M M 1 (; p)(q) ^f(q)? ^f(p)j + (?n (; (p))( y? (p) ) 1 (y)d n y)(q) ^f(q)? ^f(p)j The rst summand is of order m+1 by assumption and the second one (apart from ^ and ) for suciently small and setting f = ^f?1 equals R f(x) (; x)(y)f(x + y)d n y? f(x) = jj (; x)(y)y dy n! so the claim follows. 0<jjm {z } O( m+1?jj ) 2 Restriction of an element R of E(M) to an open subset U of M is dened by Rj U := Rj ^A0 (U )U. 4.3 Theorem (Localization of moderateness) Let R 2 ^E(M). Then R 2 ^E m (M), (?1 )^(Rj U ) 2 E m ( (U )) 8: 17
19 Proof. ()) For R 2 ^E m (M) and for (U ; ) some chart in M let R 0 := (?1 )^(Rj U ). Let K (U ) =: V, 2 N n 0 and let 2 C 1 b (I (U ); A 0 (R n )). We have to show that sup j@ (R 0 (T x S (; x); x))j = O(?N ) (22) x2k for some N 2 N. To this end we x some 1 2 ~ A 0 (M) and dene 2 ~ A 0 (M) by (20). i1 : : i jj and for 1 i j n choose X i j 2 X(M) such that the local expression of X i j coincides i j on a neighborhood of K. Then for suciently small (22) equals sup jl X i 1 : : : L X i jj R((; p); p)j ; p2 ^K so we are done. (() Let X 1 ; : : : ; X k 2 X(M) and (without loss of generality) ^K U for some chart (U ; ). Let 2 ~A 0 (M) and dene by (18). Since : D! A 0 (R n ) belongs to C 1 b;w(i (U ); A 0 (R n )) it follows from [16], Th that given 2 N n 0 there exists some N 2 N and some 0 > 0 such that for x 2 K and 0 we have (; x) 2 D and j@ (?1 )^(Rj U )(T x S (; x); x))j = O(?N ). Inserting this into the local representation of (16) immediately gives the result Theorem (Localization of negligibility) Let R 2 ^E m (M). Then R 2 ^N (M), (?1 )^(Rj U ) 2 N ( (U )) 8: Proof. ()) Let R 2 ^E m (M), (U ; ) some chart in M and set R 0 := (?1 )^(Rj U ). Let K (U ) =: V, l 2 N and 2 N n 0. Set k = jj and choose m 2 N 0 such that sup jl X1 : : : L (R((; x); x))j = X p2 ^K k O(l ) (23) for all X 1 ; : : : ; X k 2 X(M) and all 2 ~A m (M). Now let 2 A 2 m(v ) and construct from according to (20). By 4.2, 2 ~A m (M), so (with X i j as in the proof of 4.3) sup x2k j@ (R 0 (T x S (; x); x))j = sup jl X i 1 : : : L X i jj (R((; x); x))j = O( l ) p2 ^K Thus the claim follows from the characterization of negligibility following the denition of N () (section 2). 18
20 (() Let k 2 N 0, l 2 N, X 1 ; : : : ; X k 2 X(M) and ^K U. By the discussion at the end of section 2 there exists m 0 such that (with R 0 = (?1 )^Rj U ) sup j@ (R 0 (T x S (; x); x))j = O( l ) (24) x2k for all jj k and all 2 A 2 m 0 (V ;w ). Now set m = 2m 0? 1 and let 2 ~A m (M). Then dened by (18) is in A 2 m 0 (V ;w ) by 4.2 (A) (ii). Hence inserting local representations of X 1 ; : : : ; X k, (24) immediately implies the validity of (23), thereby nishing the proof. 2 It was shown in [17], sec. 13 that for all variants of (local) Colombeau algebras membership of any element R of E m to the ideal N can be tested on the function R itself, without taking into account any derivatives of R. As a rst important consequence of the above localization results we note that this rather surprising simplication also holds true for the global theory: 4.5 Corollary Let R 2 ^E m (M). Then R 2 ^N (M), (17) holds for k = 0: Proof. This follows directly from Th. 4.4 by taking into account [16], Th and [17], Th Moreover, stability of ^E m (M) and ^N (M) under Lie derivatives also follows from the local description: 4.6 Theorem Let X 2 X(M). Then (i) ^L X ^Em (M) ^E m (M). (ii) ^L X ^N (M) ^N (M). Proof. Let R 2 ^E m (M), X 2 X(M). By Th. 4.3 for any chart (U ; ) we have (?1 )^(Rj U ) 2 E m ( (U )). Thus by [16], Th also L X (?1 )^ (Rj U ) = (?1 )^(^L X Rj U ) 2 E m ( (U )) (where X denotes the local representation of X), which, again by Th. 4.3 gives the result. The claim for ^N (M) follows analogously from [16], Th Finally we are in a position to dene our main object of interest: 4.7 Denition ^G(M) := ^E m (M)= ^N (M) is called the Colombeau algebra on M. 19
21 By construction, every ^LX induces a Lie derivative (again denoted by ^LX ) on ^G(M), so ^G(M) becomes a dierential algebra. If R 2 ^E(M), its class in ^G(M) will be denoted by cl[r]. 4.8 Theorem ^G(M) is a ne sheaf of dierential algebras on M. Proof. This is a straightforward consequence of [16], Th Embedding of distributions and smooth functions In this section we show that in the global context ^G(M) displays the same set of (optimal) embedding properties as the local versions do on open sets of R n. Most importantly, we shall see that taking Lie derivatives with respect to arbitrary smooth vector elds commutes with the embedding. To begin with, let u 2 D 0 (M). The natural candidate for the image of u in ^G(M) is R u (!; x) = hu;!i. We rst show that R u 2 ^E m (M) using Th Let! 2 D( (U )); then ((?1 )^(R u j U ))(!; x) = (R u j U )( (! d n y);?1 (x)) = hu; (! dn y)i = h(?1 ) (uj U );!i Since (?1 ) (uj U ) 2 D 0 ( (U )) it follows from the local theory that indeed (?1)^(R u j U ) 2 E m ( (U )). Suppose now that R u 2 ^N (M). By the same reasoning as above (!; x)! h(?1 ) (uj U );!i 2 N ( (U )) for each. Thus again by the respective local result (?1 ) (uj U ) = 0 for each, i.e. u = 0. Therefore : D 0 (M)! ^G(M) (u) = cl[(!; x)! hu;!i] is a linear embedding. What is more, as a direct consequence of (15) (noting that distributions are linear and continuous, hence equal to their dierential in any point) we obtain (L X u)(!; p) = ((!; p)!?hu; L X!i) =?d 1 R u (!; p)(l X!) + L X (R u (!; : ))j {z } p = (^L X R u )(!; p) = ^L X ((u))(!; p) =0 i.e., commutes with arbitrary Lie derivatives. 20
22 The natural operation for embedding smooth functions into ^G(M) is given by : C 1 (M)! ^G(M) (f) = cl[(!; x)! f(x)] Obviously, is an injective algebra homomorphism that commutes with Lie derivatives by (15). Moreover, coincides with on C 1 (M). Making use of Th. 4.4 this again follows directly from the local result. Summing up, we have 5.1 Theorem : D 0 (M)! ^G(M), is a linear embedding that commutes with Lie derivatives and coincides with : C 1 (M)! ^G(M) on C 1 (M). Thus renders D 0 (M) a linear subspace and C 1 (M) a faithful subalgebra of ^G(M). The following commutative diagram illustrates the compatibility properties of Lie derivatives with respect to embeddings established in this section: L X C 1 - C 1 J J JJ^ L X D 0 - D 0 J J? JJ^? ^L ^G X - ^G 6 Association The concept of association or coupled calculus is one of the distinguishing features of local Colombeau algebras. It introduces a (linear) equivalence relation on the algebra identifying those elements which are \equal in the sense of distributions, thereby allowing to identify \distributional shadows of certain elements of the algebra. This construction amounts to determining the macroscopic aspect of the regularization procedure encoded in them. Phrased more technically, a linear quotient of E m resp. G is formed containing 21
23 D 0 as a subspace. Especially in physical modelling this notion provides a useful tool for analyzing nonlinear problems involving singularities (cf. e.g. [5], [21], [27], [28]). In what follows we extend the notion of association to ^G(M). 6.1 Denition An element [R] of ^G(M) is called associated to 0 ([R] 0) if for some (hence every) representative R of [R] we have: 8! 2 n(m) c 9m > 0 with lim R((; p); p)!(p) = A ~ m (M) (25)!0 M Two elements [R], [S] of ^G(M) are called associated ([R] [S]) if [R?S] 0. We say that [R] 2 ^G(M) admits u 2 D 0 (M) as an associated distribution if [R] (u), i.e. if 8! 2 n c (M) 9m > 0 with lim!0 M R((; p); p)!(p) = hu;!i 8 2 ~A m (M) (26) Finally, by the same methods as in the local theory we obtain consistency in the sense of association of classical multiplication operations with multiplication in the algebra: 6.2 Proposition (i) If f 2 C 1 (M) and u 2 D 0 (M) then (ii) If f; g 2 C(M) then (f)(u) (fu) (27) (f)(g) (fg) (28) References [1] J. Aragona, H. A. Biagioni, Intrinsic denition of the Colombeau algebra of generalized functions, Analysis Mathematica 17 (1991), [2] H. Balasin, Geodesics for impulsive gravitational waves and the multiplication of distributions, Class. Quantum Grav. 14 (1997), 455{462. [3] H. A. Biagioni, M. Oberguggenberger, Generalized solutions to the Korteweg-de Vries and the regularized long-wave equations, SIAM J. Math. Anal. 23 (1992), 923{
24 [4] H. A. Biagioni, M. Oberguggenberger, Generalized solutions to Burgers' equation, J. Dierential Equations 97 (1992), 263{287. [5] C. J. S. Clarke, J. A. Vickers, J. Wilson, Generalised functions and distributional curvature of cosmic strings, Class. Quantum Grav. 13 (1996), 2485{2498. [6] J. F. Colombeau, New Generalized Functions and Multiplication of Distributions, North Holland, Amsterdam [7] J. F. Colombeau, Elementary Introduction to New Generalized Functions, North Holland, Amsterdam [8] J. F. Colombeau, Multiplication of Distributions, Bull. Am. Math. Soc., New Ser. 23, No. 2 (1990), [9] J. F. Colombeau, A. Meril, Generalized Functions and Multiplication of Distributions on C 1 Manifolds, J. Math. Analysis Appl. 186 (1994), 357{364. [10] J. F. Colombeau, A. Heibig, M. Oberguggenberger, Le probleme de Cauchy dans un espace de fonctions generalisees I, C. R. Acad. Sci. Paris Ser. I Math. 317 (1993), 851{855. [11] J. F. Colombeau, A. Heibig, M. Oberguggenberger, Le probleme de Cauchy dans un espace de fonctions generalisees II, C. R. Acad. Sci. Paris Ser. I Math. 319 (1994), 1179{1183. [12] J. F. Colombeau, M. Oberguggenberger, On a hyperbolic system with a compatible quadratic term: Generalized solutions, delta waves, and multiplication of distributions, Comm. Partial Dierential Equations 15 (1990), 905{938. [13] M. Damsma, J. W. de Roever, Colombeau algebras on a C 1 -manifold, Indag. Mathem., N.S. (3) (1991), [14] G. de Rham, Dierentiable Manifolds, Springer, Berlin [15] J. Dieudonne, Elements d'analyse, Vol 3, Gauthier-Villars, Paris, [16] E. Farkas, M. Grosser, M. Kunzinger, R. Steinbauer, On the Foundations of Nonlinear Generalized Functions I, Preprint, [17] M. Grosser, On the Foundations of Nonlinear Generalized Functions II, Preprint,
25 [18] L. Hormander, The Analysis of Linear Partial Dierential Operators I, Grundlehren der mathematischen Wissenschaften 256, Springer, Berlin, [19] J. Jelnek, An intrinsic denition of the Colombeau generalized functions, Comment. Math. Univ. Carolinae 40, 1 (1999), 71{95. [20] A. Kriegl, P. W. Michor, The Convenient Setting of Global Analysis, AMS Math. Surv. and Monographs 53, [21] M. Kunzinger, R. Steinbauer, A rigorous solution concept for geodesic equations in impulsive gravitational waves, J. Math. Phys. Vol. 40, No. 3 (1999), 1479{1489. [22] J. E. Marsden, Generalized Hamiltonian Mechanics, Arch. Rat. Mech. Anal. 28 (1968), 323{361. [23] M. Oberguggenberger, Multiplication of Distributions and Applications to Partial Dierential Equations, Pitman Research Notes in Mathematics 259, Longman [24] M. Oberguggenberger, Nonlinear theories of generalized functions, in: S. Albeverio, W.A.J.Luxemburg, M.P.H.Wol (Eds.), Advances in Analysis, Probability, and Mathematical Physics-Contributions from Nonstandard Analysis, Kluwer, Dordrecht [25] B. O'Neill, Semi-Riemannian Manifolds, Academic Press, [26] L. Schwartz, Sur L'impossibilite de la Multiplication des Distributions, C.R. Acad.Sci. Paris, 239 (1954), [27] J. A. Vickers, J. Wilson, Invariance of the distributional curvature of the cone under smooth dieomorphisms, Class. Quantum Grav. 16 (1999), [28] J. A. Vickers, Nonlinear generalised functions in general relativity, in: M. Grosser, G. Hormann, M. Kunzinger, M. Oberguggenberger (Eds.), Nonlinear Theory of Generalized Functions, , Chapman & Hall/CRC, Boca Raton Electronic Mail: M.G.: michael@mat.univie.ac.at M.K.: Michael.Kunzinger@univie.ac.at R.S.: Roland.Steinbauer@univie.ac.at J.V.: jav@maths.soton.ac.uk 24
The Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria On the Foundations of Nonlinear Generalized Functions I E. Farkas M. Grosser M. Kunzinger
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria A Nonlinear Theory of Tensor Distributions J.A. Vickers J.P. Wilson Vienna, Preprint ESI
More informationGeneralized function algebras as sequence space algebras
Generalized function algebras as sequence space algebras Antoine Delcroix Maximilian F. Hasler Stevan Pilipović Vincent Valmorin 24 April 2002 Abstract A topological description of various generalized
More informationRemarks on the embedding of spaces of distributions into spaces of Colombeau generalized functions
Remarks on the embedding of spaces of distributions into spaces of Colombeau generalized functions Antoine Delcroix To cite this version: Antoine Delcroix. Remarks on the embedding of spaces of distributions
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Noncommutative Contact Algebras Hideki Omori Yoshiaki Maeda Naoya Miyazaki Akira Yoshioka
More informationNormally hyperbolic operators & Low Regularity
Roland Steinbauer Faculty of Mathematics University of Vienna Summerschool Generalised Functions in PDE, Geometry, Stochastics and Microlocal Analysis Novi Sad, Serbia, September 2010 1 / 20 1 Non-smooth
More informationGarrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f
1 Bernstein's analytic continuation of complex powers c1995, Paul Garrett, garrettmath.umn.edu version January 27, 1998 Analytic continuation of distributions Statement of the theorems on analytic continuation
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical hysics A-090 Wien, Austria A Note on the enrose Junction Conditions Michael Kunzinger Roland Steinbauer Vienna, reprint
More informationBLOCH PERIODIC GENERALIZED FUNCTIONS
Novi Sad J. Math. Vol. 46, No. 2, 2016, 135-143 BLOCH PERIODIC GENERALIZED FUNCTIONS Maximilian F. Hasler 1 Abstract. Bloch-periodicity is a generalization of the notion of periodic and antiperiodic functions
More informationISOMORPHISMS OF ALGEBRAS OF GENERALIZED FUNCTIONS
ISOMORPHISMS OF ALGEBRAS OF GENERALIZED FUNCTIONS HANS VERNAEVE Abstract. We show that for smooth manifolds X and Y, any isomorphism between the algebras of generalized functions (in the sense of Colombeau)
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Common Homoclinic Points of Commuting Toral Automorphisms Anthony Manning Klaus Schmidt
More informationLinear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space
Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria On Locally q{complete Domains in Kahler Manifolds Viorel V^aj^aitu Vienna, Preprint ESI
More information290 J.M. Carnicer, J.M. Pe~na basis (u 1 ; : : : ; u n ) consisting of minimally supported elements, yet also has a basis (v 1 ; : : : ; v n ) which f
Numer. Math. 67: 289{301 (1994) Numerische Mathematik c Springer-Verlag 1994 Electronic Edition Least supported bases and local linear independence J.M. Carnicer, J.M. Pe~na? Departamento de Matematica
More informationGeneral Topology. Summer Term Michael Kunzinger
General Topology Summer Term 2016 Michael Kunzinger michael.kunzinger@univie.ac.at Universität Wien Fakultät für Mathematik Oskar-Morgenstern-Platz 1 A-1090 Wien Preface These are lecture notes for a
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria A Note on Generalized Flag Structures Tomasz Rybicki Vienna, Preprint ESI 545 (1998) April
More information2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2
1 A Good Spectral Theorem c1996, Paul Garrett, garrett@math.umn.edu version February 12, 1996 1 Measurable Hilbert bundles Measurable Banach bundles Direct integrals of Hilbert spaces Trivializing Hilbert
More informationGeometry 2: Manifolds and sheaves
Rules:Exam problems would be similar to ones marked with! sign. It is recommended to solve all unmarked and!-problems or to find the solution online. It s better to do it in order starting from the beginning,
More informationQuantum logics with given centres and variable state spaces Mirko Navara 1, Pavel Ptak 2 Abstract We ask which logics with a given centre allow for en
Quantum logics with given centres and variable state spaces Mirko Navara 1, Pavel Ptak 2 Abstract We ask which logics with a given centre allow for enlargements with an arbitrary state space. We show in
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-19 Wien, Austria The Negative Discrete Spectrum of a Class of Two{Dimentional Schrodinger Operators with Magnetic
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
More informationThe Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Pasteurgasse 6/7 Institute for Mathematical Physics A-1090 Wien, Austria On the Point Spectrum of Dirence Schrodinger Operators Vladimir Buslaev Alexander Fedotov
More informationThe Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Pasteurgasse 6/7 Institute for Mathematical Physics A-090 Wien, Austria On the Rigid Body with Two Linear Controls Mircea Craioveanu Mircea Puta Vienna, Preprint
More informationThe Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Pasteurgasse 6/7 Institute for Mathematical Physics A-1090 Wien, Austria On Twisted Tensor Products of Algebras Andreas Cap Hermann Schichl Jir Vanzura Vienna, Preprint
More informationChern characters via connections up to homotopy. Marius Crainic. Department of Mathematics, Utrecht University, The Netherlands
Chern characters via connections up to homotopy Marius Crainic Department of Mathematics, Utrecht University, The Netherlands 1 Introduction: The aim of this note is to point out that Chern characters
More informationMicro-support of sheaves
Micro-support of sheaves Vincent Humilière 17/01/14 The microlocal theory of sheaves and in particular the denition of the micro-support is due to Kashiwara and Schapira (the main reference is their book
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More information5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1
Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements
More informationAbstract. Jacobi curves are far going generalizations of the spaces of \Jacobi
Principal Invariants of Jacobi Curves Andrei Agrachev 1 and Igor Zelenko 2 1 S.I.S.S.A., Via Beirut 2-4, 34013 Trieste, Italy and Steklov Mathematical Institute, ul. Gubkina 8, 117966 Moscow, Russia; email:
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationA PROOF OF A CONVEX-VALUED SELECTION THEOREM WITH THE CODOMAIN OF A FRÉCHET SPACE. Myung-Hyun Cho and Jun-Hui Kim. 1. Introduction
Comm. Korean Math. Soc. 16 (2001), No. 2, pp. 277 285 A PROOF OF A CONVEX-VALUED SELECTION THEOREM WITH THE CODOMAIN OF A FRÉCHET SPACE Myung-Hyun Cho and Jun-Hui Kim Abstract. The purpose of this paper
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationJ. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that
On the dual of a real analytic hypersurface J. Huisman Abstract Let f be an immersion of a compact connected smooth real analytic variety X of dimension n into real projective space P n+1 (R). We say that
More informationALMOST AUTOMORPHIC GENERALIZED FUNCTIONS
Novi Sad J. Math. Vol. 45 No. 1 2015 207-214 ALMOST AUTOMOPHIC GENEALIZED FUNCTIONS Chikh Bouzar 1 Mohammed Taha Khalladi 2 and Fatima Zohra Tchouar 3 Abstract. The paper deals with a new algebra of generalized
More informationSYMPLECTIC LEFSCHETZ FIBRATIONS ALEXANDER CAVIEDES CASTRO
SYMPLECTIC LEFSCHETZ FIBRATIONS ALEXANDER CAVIEDES CASTRO. Introduction A Lefschetz pencil is a construction that comes from algebraic geometry, but it is closely related with symplectic geometry. Indeed,
More informationDoctorate Thesis in Mathematics CONTRIBUTIONS TO FOURIER ANALYSIS IN COLOMBEAU ALGEBRA. Presented by Tayeb SAIDI Supervised by Professor Chikh BOUZAR
Doctorate Thesis in Mathematics CONTRIBUTIONS TO FOURIER ANALYSIS IN COLOMBEAU ALGEBRA Presented by Tayeb SAIDI Supervised by Professor Chikh BOUAR defended 2011. The members of jury : BEKKAR Mohamed :
More informationRené Bartsch and Harry Poppe (Received 4 July, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 2016, 1-8 AN ABSTRACT ALGEBRAIC-TOPOLOGICAL APPROACH TO THE NOTIONS OF A FIRST AND A SECOND DUAL SPACE III René Bartsch and Harry Poppe Received 4 July, 2015
More informationGeneralized directional derivatives for locally Lipschitz functions which satisfy Leibniz rule
Control and Cybernetics vol. 36 (2007) No. 4 Generalized directional derivatives for locally Lipschitz functions which satisfy Leibniz rule by J. Grzybowski 1, D. Pallaschke 2 and R. Urbański 1 1 Faculty
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationThe Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Pasteurgasse 6/7 Institute for Mathematical Physics A-1090 Wien, Austria Projective Techniques and Functional Integration for Gauge Theories Abhay Ashtekar Jerzy
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Hypersymmetries of Extremal Equations D.P. Zhelobenko Vienna, Preprint ESI 391 (1996) October
More informationProblem List MATH 5143 Fall, 2013
Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Group Analysis of Dierential Equations and Generalized Functions M. Kunzinger M. Oberguggenberger
More informationPARAMETER IDENTIFICATION IN THE FREQUENCY DOMAIN. H.T. Banks and Yun Wang. Center for Research in Scientic Computation
PARAMETER IDENTIFICATION IN THE FREQUENCY DOMAIN H.T. Banks and Yun Wang Center for Research in Scientic Computation North Carolina State University Raleigh, NC 7695-805 Revised: March 1993 Abstract In
More informationIntroduction to Bases in Banach Spaces
Introduction to Bases in Banach Spaces Matt Daws June 5, 2005 Abstract We introduce the notion of Schauder bases in Banach spaces, aiming to be able to give a statement of, and make sense of, the Gowers
More informationDefinition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.
5 Vector fields Last updated: March 12, 2012. 5.1 Definition and general properties We first need to define what a vector field is. Definition 5.1. A vector field v on a manifold M is map M T M such that
More informationRearrangements and polar factorisation of countably degenerate functions G.R. Burton, School of Mathematical Sciences, University of Bath, Claverton D
Rearrangements and polar factorisation of countably degenerate functions G.R. Burton, School of Mathematical Sciences, University of Bath, Claverton Down, Bath BA2 7AY, U.K. R.J. Douglas, Isaac Newton
More informationCOMPACT DIFFERENCE OF WEIGHTED COMPOSITION OPERATORS ON N p -SPACES IN THE BALL
COMPACT DIFFERENCE OF WEIGHTED COMPOSITION OPERATORS ON N p -SPACES IN THE BALL HU BINGYANG and LE HAI KHOI Communicated by Mihai Putinar We obtain necessary and sucient conditions for the compactness
More informationJ.F. Cari~nena structures and that of groupoid. So we will nd topological groupoids, Lie groupoids, symplectic groupoids, Poisson groupoids and so on.
Lie groupoids and algebroids in Classical and Quantum Mechanics 1 Jose F. Cari~nena Departamento de Fsica Teorica. Facultad de Ciencias. Universidad de Zaragoza, E-50009, Zaragoza, Spain. Abstract The
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationARCHIVUM MATHEMATICUM (BRNO) Tomus 32 (1996), 13 { 27. ON THE OSCILLATION OF AN mth ORDER PERTURBED NONLINEAR DIFFERENCE EQUATION
ARCHIVUM MATHEMATICUM (BRNO) Tomus 32 (996), 3 { 27 ON THE OSCILLATION OF AN mth ORDER PERTURBED NONLINEAR DIFFERENCE EQUATION P. J. Y. Wong and R. P. Agarwal Abstract. We oer sucient conditions for the
More informationSemi-strongly asymptotically non-expansive mappings and their applications on xed point theory
Hacettepe Journal of Mathematics and Statistics Volume 46 (4) (2017), 613 620 Semi-strongly asymptotically non-expansive mappings and their applications on xed point theory Chris Lennard and Veysel Nezir
More informationTheorem 1. Suppose that is a Fuchsian group of the second kind. Then S( ) n J 6= and J( ) n T 6= : Corollary. When is of the second kind, the Bers con
ON THE BERS CONJECTURE FOR FUCHSIAN GROUPS OF THE SECOND KIND DEDICATED TO PROFESSOR TATSUO FUJI'I'E ON HIS SIXTIETH BIRTHDAY Toshiyuki Sugawa x1. Introduction. Supposebthat D is a simply connected domain
More informationLECTURE 3: SMOOTH FUNCTIONS
LECTURE 3: SMOOTH FUNCTIONS Let M be a smooth manifold. 1. Smooth Functions Definition 1.1. We say a function f : M R is smooth if for any chart {ϕ α, U α, V α } in A that defines the smooth structure
More informationThe Helically Reduced Wave Equation as a Symmetric Positive System
Utah State University DigitalCommons@USU All Physics Faculty Publications Physics 2003 The Helically Reduced Wave Equation as a Symmetric Positive System Charles G. Torre Utah State University Follow this
More informationWAVELET EXPANSIONS OF DISTRIBUTIONS
WAVELET EXPANSIONS OF DISTRIBUTIONS JASSON VINDAS Abstract. These are lecture notes of a talk at the School of Mathematics of the National University of Costa Rica. The aim is to present a wavelet expansion
More informationpacific journal of mathematics Vol. 181, No. 2, 1997 MOMENT MAPS ON SYMPLECTIC CONES Suzana Falc~ao B. de Moraes and Carlos Tomei We analyze some conv
pacific journal of mathematics Vol. 181, No., 1997 MOMENT MAPS ON SYMPLECTIC CONES Suzana Falc~ao B. de Moraes and Carlos Tomei We analyze some convexity properties of the image maps on symplectic cones,
More informationNOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES
NOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES SHILIN U ABSTRACT. The purpose of this note is to review the construction of smooth and holomorphic jet bundles and its relation to formal neighborhood of
More informationUNIFORM STRUCTURES AND BERKOVICH SPACES
UNIFORM STRUCTURES AND BERKOVICH SPACES MATTHEW BAKER Abstract. A uniform space is a topological space together with some additional structure which allows one to make sense of uniform properties such
More informationOn a WKB-theoretic approach to. Ablowitz-Segur's connection problem for. the second Painleve equation. Yoshitsugu TAKEI
On a WKB-theoretic approach to Ablowitz-Segur's connection problem for the second Painleve equation Yoshitsugu TAKEI Research Institute for Mathematical Sciences Kyoto University Kyoto, 606-8502, JAPAN
More informationOn an algebra related to orbit-counting. Peter J. Cameron. Queen Mary and Westeld College. London E1 4NS U.K. Abstract
On an algebra related to orbit-counting Peter J. Cameron School of Mathematical Sciences Queen Mary and Westeld College London E1 4NS U.K. Abstract With any permutation group G on an innite set is associated
More informationTitle: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on
Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on manifolds. Author: Ognjen Milatovic Department Address: Department
More informationFLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS
FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS HANFENG LI Abstract. We construct examples of flabby strict deformation quantizations not preserving K-groups. This answers a question of Rieffel negatively.
More informationThe uniformly accelerated motion in General Relativity from a geometric point of view. 1. Introduction. Daniel de la Fuente
XI Encuentro Andaluz de Geometría IMUS (Universidad de Sevilla), 15 de mayo de 2015, págs. 2934 The uniformly accelerated motion in General Relativity from a geometric point of view Daniel de la Fuente
More informationON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS
1 2 3 ON MATRIX VALUED SQUARE INTERABLE POSITIVE DEFINITE FUNCTIONS HONYU HE Abstract. In this paper, we study matrix valued positive definite functions on a unimodular group. We generalize two important
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More information2 BAISHENG YAN When L =,it is easily seen that the set K = coincides with the set of conformal matrices, that is, K = = fr j 0 R 2 SO(n)g: Weakly L-qu
RELAXATION AND ATTAINMENT RESULTS FOR AN INTEGRAL FUNCTIONAL WITH UNBOUNDED ENERGY-WELL BAISHENG YAN Abstract. Consider functional I(u) = R jjdujn ; L det Duj dx whose energy-well consists of matrices
More informationABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY
ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up
More informationFormality of Kähler manifolds
Formality of Kähler manifolds Aron Heleodoro February 24, 2015 In this talk of the seminar we like to understand the proof of Deligne, Griffiths, Morgan and Sullivan [DGMS75] of the formality of Kähler
More informationgrowth rates of perturbed time-varying linear systems, [14]. For this setup it is also necessary to study discrete-time systems with a transition map
Remarks on universal nonsingular controls for discrete-time systems Eduardo D. Sontag a and Fabian R. Wirth b;1 a Department of Mathematics, Rutgers University, New Brunswick, NJ 08903, b sontag@hilbert.rutgers.edu
More informationLocalizations as idempotent approximations to completions
Journal of Pure and Applied Algebra 142 (1999) 25 33 www.elsevier.com/locate/jpaa Localizations as idempotent approximations to completions Carles Casacuberta a;1, Armin Frei b; ;2 a Universitat Autonoma
More informationLeft almost semigroups dened by a free algebra. 1. Introduction
Quasigroups and Related Systems 16 (2008), 69 76 Left almost semigroups dened by a free algebra Qaiser Mushtaq and Muhammad Inam Abstract We have constructed LA-semigroups through a free algebra, and the
More informationSTOCHASTIC DIFFERENTIAL EQUATIONS WITH EXTRA PROPERTIES H. JEROME KEISLER. Department of Mathematics. University of Wisconsin.
STOCHASTIC DIFFERENTIAL EQUATIONS WITH EXTRA PROPERTIES H. JEROME KEISLER Department of Mathematics University of Wisconsin Madison WI 5376 keisler@math.wisc.edu 1. Introduction The Loeb measure construction
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationA note on the σ-algebra of cylinder sets and all that
A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In
More informationThe Hopf argument. Yves Coudene. IRMAR, Université Rennes 1, campus beaulieu, bat Rennes cedex, France
The Hopf argument Yves Coudene IRMAR, Université Rennes, campus beaulieu, bat.23 35042 Rennes cedex, France yves.coudene@univ-rennes.fr slightly updated from the published version in Journal of Modern
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationMathematical Institute, University of Utrecht. The problem of estimating the mean of an observed Gaussian innite-dimensional vector
On Minimax Filtering over Ellipsoids Eduard N. Belitser and Boris Y. Levit Mathematical Institute, University of Utrecht Budapestlaan 6, 3584 CD Utrecht, The Netherlands The problem of estimating the mean
More information76 Griesemer, Lewis, Siedentop the Dirac operator in the gap with the number of negative eigenvalues of a corresponding Schrodinger operator (see [5])
Doc. Math. J. DMV 75 A Minimax Principle for Eigenvalues in Spectral Gaps: Dirac Operators with Coulomb Potentials Marcel Griesemer, Roger T. Lewis, Heinz Siedentop Received: March 9, 999 Communicated
More informations P = f(ξ n )(x i x i 1 ). i=1
Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological
More informationTHE DUAL FORM OF THE APPROXIMATION PROPERTY FOR A BANACH SPACE AND A SUBSPACE. In memory of A. Pe lczyński
THE DUAL FORM OF THE APPROXIMATION PROPERTY FOR A BANACH SPACE AND A SUBSPACE T. FIGIEL AND W. B. JOHNSON Abstract. Given a Banach space X and a subspace Y, the pair (X, Y ) is said to have the approximation
More informationTHE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS
THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a
More informationCONVOLUTION OPERATORS IN INFINITE DIMENSION
PORTUGALIAE MATHEMATICA Vol. 51 Fasc. 4 1994 CONVOLUTION OPERATORS IN INFINITE DIMENSION Nguyen Van Khue and Nguyen Dinh Sang 1 Introduction Let E be a complete convex bornological vector space (denoted
More informationPointwise convergence rate for nonlinear conservation. Eitan Tadmor and Tao Tang
Pointwise convergence rate for nonlinear conservation laws Eitan Tadmor and Tao Tang Abstract. We introduce a new method to obtain pointwise error estimates for vanishing viscosity and nite dierence approximations
More informationThe Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Pasteurgasse 6/7 Institute for Mathematical Physics A-1090 Wien, Austria On an Extension of the 3{Dimensional Toda Lattice Mircea Puta Vienna, Preprint ESI 165 (1994)
More information2 JOSE BURILLO It was proved by Thurston [2, Ch.8], using geometric methods, and by Gersten [3], using combinatorial methods, that the integral 3-dime
DIMACS Series in Discrete Mathematics and Theoretical Computer Science Volume 00, 1997 Lower Bounds of Isoperimetric Functions for Nilpotent Groups Jose Burillo Abstract. In this paper we prove that Heisenberg
More informationSYNTHETIC GEOMETRY AND GENERALISED FUNCTIONS Introduction. Novi Sad J. Math. Vol. 41, No. 1, 2011, James D.E. Grant 2
Novi Sad J. Math. Vol. 41, No. 1, 2011, 75-84 SYNTHETIC GEOMETRY AND GENERALISED FUNCTIONS 1 James D.E. Grant 2 Abstract. We review some aspects of the geometry of length spaces and metric spaces, in particular
More informationCONTROLLABILITY OF NONLINEAR DISCRETE SYSTEMS
Int. J. Appl. Math. Comput. Sci., 2002, Vol.2, No.2, 73 80 CONTROLLABILITY OF NONLINEAR DISCRETE SYSTEMS JERZY KLAMKA Institute of Automatic Control, Silesian University of Technology ul. Akademicka 6,
More informationOn Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q)
On Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q) Andreas Löhne May 2, 2005 (last update: November 22, 2005) Abstract We investigate two types of semicontinuity for set-valued
More information