N-DUAL SPACES ASSOCIATED to a NORMED SPACE 1. Introduction In

Total Page:16

File Type:pdf, Size:1020Kb

N-DUAL SPACES ASSOCIATED to a NORMED SPACE 1. Introduction In Khayyam J. Math. 1 (2015), no. 2, 219{229 n-DUAL SPACES ASSOCIATED TO A NORMED SPACE YOSAFAT E. P. PANGALELA Communicated by M. Filali Abstract. For a real normed space X, we study the n-dual space of (X; k·k) and show that the space is a Banach space. Meanwhile, for a real normed space X of dimension d ≥ n which satisfies property (G), we discuss the n-dual space of (X; k·;:::; ·kG), where k·;:::; ·kG is the G¨ahler n-norm. We then investigate the relationship between the n-dual space of (X; k·k) and the n-dual space of (X; k·;:::; ·kG). We use this relationship to determine the n-dual space of (X; k·;:::; ·kG) and show that the space is also a Banach space. 1. Introduction In the 1960's, the notion of n-normed spaces was introduced by G¨ahler[2,3, 4,5] as a generalisation of normed spaces. For every real normed space X of dimension d ≥ n, G¨ahlershowed that X can be viewed as an n-normed space by using the G¨ahler n-norm, which is denoted by k·;:::; ·kG. This n-norm is defined by using the set of bounded linear functionals on X. Since then, many researchers have studied operators and functionals on n-normed space X (see [1,6,9, 10, 11, 13, 14, 15]). In [13], the author and Gunawan introduced the concept of n-dual spaces. For every real normed space X of dimension d ≥ n, there are two n-dual spaces associated to X. The first is the n-dual space of (X; k·k), and the other is the p n-dual space of (X; k·;:::; ·kG). In case X is the l space for some 1 ≤ p < 1, the author and Gunawan have investigated and given the relationship between both n-dual spaces [13]. Here we provide an analogues result on more general normed spaces. For a real normed space X, we investigate the n-dual space of (X; k·k) by using the (n − 1)-dual space of (X; k·k) (Theorem 3.2). We then focus on a real normed Date: Received: 16 August 2015, Accepted: 04 December 2015. 2010 Mathematics Subject Classification. Primary 46B20; Secondary 46C05, 46C15, 46B99, 46C99. Key words and phrases. n-dual spaces, n-normed spaces, bounded linear functionals. 219 220 Y.E.P. PANGALELA space X of dimension d ≥ n which satisfies property (G) and discuss the relation- ship between the n-dual space of (X; k·k) and the n-dual space of (X; k·;:::; ·kG) (Theorem 4.5). It is interesting to observe that both the n-dual space of (X; k·k) and the n-dual space of (X; k·;:::; ·kG) are Banach spaces (Theorem 3.3 and Theorem 4.7). 2. Preliminaries Let n be a nonnegative integer and X a real vector space of dimension d ≥ n. We call a real-valued function k·;:::; ·k on Xn an n-norm on X if for all 0 x1; : : : ; xn; x 2 X, we have (1) kx1; : : : ; xnk = 0 if and only if x1; : : : ; xn are linearly dependent; (2) kx1; : : : ; xnk is invariant under permutation; (3) kαx1; x2; : : : ; xnk = jαj kx1; x2; : : : ; xnk for all α 2 R; and 0 0 (4) kx1 + x ; : : : ; xnk ≤ kx1; : : : ; xnk + kx ; : : : ; xnk. We then call the pair (X; k·;:::; ·k) an n-normed space. An example of an n-normed space is the lp space, where 1 ≤ p < 1, equipped with 1 X X p 1 kx ; : : : ; x k := ··· jdet (x )j p 1 n p n! ijk j1 jn p for x1; : : : ; xn 2 l (see [7, Section 3]). Another interesting example of n-normed spaces is the G¨ahler n-norm which was introduced in [3,4,5]. Let X be a real normed space of dimension d ≥ n, (1) and X the dual space of X. G¨ahlershowed that the function k·;:::; ·kG which is given by kx1; : : : ; xnkG := sup det [fj (xi)]i;j (1) fi2X ;kfik≤1 1≤i≤n for all x1; : : : ; xn 2 X, is an n-norm on X. Hence every real normed space X can be viewed as an n-normed space (X; k·;:::; ·kG). Let X be a real normed space of dimension d ≥ n. Any real-valued function f on Xn is called an n-functional on X. An n-functional f is multilinear if it satisfies two following properties: (1) f (x + y ; : : : ; x + y ) = P f (z ; : : : ; z ) and 1 1 n n zi2fxi;yig;1≤i≤n 1 n (2) f (α1x1; : : : ; αnxn) = α1 ··· αn−1f (x1; : : : ; xn) for all x1; : : : ; xn; y1; : : : ; yn 2 X and α1; : : : ; αn 2 R. For multilinear n-functionals f; h on X, we define an n-functional f + h by (f + h)(x1; : : : ; xn) := f (x1; : : : ; xn) + h (x1; : : : ; xn) for x1; : : : ; xn 2 X. Then f + h is also multilinear. On the other hand, we say f = h if f (x1; : : : ; xn) = h (x1; : : : ; xn) for x1; : : : ; xn 2 X. We call an n-functional f bounded on a real normed space (X; k·k) (respectively, an n-normed space (X; k·;:::; ·k)) if there exists a constant K > 0 such that jf (x1; : : : ; xn)j ≤ K kx1k · · · kxnk (respectively, jf (x1; : : : ; xn)j ≤ K kx1; : : : ; xnk ) n-DUAL SPACES ASSOCIATED TO A NORMED SPACE 221 for all x1; : : : ; xn 2 X. Let Sn denote the group of permutations of (1; : : : ; n). Recall from [13] that every bounded multilinear n-functional f on (X; k·;:::; ·k) is antisymmetric in the sense that f (x1; : : : ; xn) = sgn (σ) f xσ(1); : : : ; xσ(n) for x1; : : : ; xn 2 X and σ 2 Sn. Here sgn (σ) = 1 if σ is an even permutation, and sgn (σ) = −1 if σ is an odd permutation. Note that if f is antisymmetric then for any linearly dependent x1; : : : ; xn 2 X, we have f (x1; : : : ; xn) = 0. Remark 2.1. In general, we do not have the antisymmetric property for bounded mul- tilinear n-functionals on (X; k·k). The space of bounded multilinear n-functionals on (X; k·k) is called the n-dual space (n) (0) of (X; k·k) and denoted by X . For n = 0, we define X as R. The function k·kn;1 on X(n) where jf (x1; : : : ; xn)j kfkn;1 := sup x1;:::;xn6=0 kx1k · · · kxnk for f 2 X(n), defines a norm on X(n) and then X(n) is a normed space. Meanwhile, the n-dual space of (X; k·;:::; ·k) is the space of all bounded multilinear n-functionals on (X; k·;:::; ·k). This space is also a normed space with the following norm jf (x1; : : : ; xn)j kfkn;n := sup . kx1;:::;xnk6=0 kx1; : : : ; xnk Now let X; Y be real normed spaces. We write B (X; Y ) to denote the set of bounded linear operators from X into Y . The function k·kop where ku (x)k kukop := sup x6=0 kxk for every u 2 B (X; Y ) , is a norm on B (X; Y ). For simplification, we write B (X; Y ) ∗ to denote the normed space B (X; Y ) equipped with k·kop. Otherwise, if k·k is a norm function on B (X; Y ), we write (B (X; Y ) ; k·k∗) to denote the normed space B (X; Y ) equipped by the norm k·k∗. 3. The n-dual space of (X; k·k) In this section, we first identify the bounded multilinear n-functionals on (X; k·k) (Proposition 3.1). We then identify the n-dual space of (X; k·k) by using the (n − 1)- dual space of (X; k·k) (Theorem 3.2). Finally we show that the n-dual space of (X; k·k) is a Banach space (Theorem 3.3). Proposition 3.1. Let X be a real normed space of dimension d ≥ n and f a bounded (n−1) multilinear n-functional on (X; k·k). Then there exists uf 2 B(X; X ) such that for x1; : : : ; xn−1; z 2 X, f (x1; : : : ; xn−1; z) = (uf (z)) (x1; : : : ; xn−1) . Furthermore, kfkn;1 = kuf kop. Proof. Take z 2 X and define an (n − 1)-functional fz on X with fz (x1; : : : ; xn−1) := f (x1; : : : ; xn−1; z) 222 Y.E.P. PANGALELA (n−1) for x1; : : : ; xn−1 2 X. We show fz 2 X . Note that for x1; : : : ; xn−1; y1; : : : ; yn−1 2 X and α1; : : : ; αn−1 2 R, we have fz (x1 + y1; : : : ; xn−1 + yn−1) = f (x1 + y1; : : : ; xn−1 + yn−1; z) X = f (z1; : : : ; zn−1; z) zi2fxi;yig;1≤i≤n−1 X = fz (z1; : : : ; zn−1), zi2fxi;yig;1≤i≤n−1 fz (α1x1; : : : ; αn−1xn−1) = f (α1x1; : : : ; αn−1xn−1; z) = α1 ··· αn−1f (x1; : : : ; xn−1; z) = α1 ··· αn−1fz (x1; : : : ; xn−1), and jfz (x1; : : : ; xn−1)j = jf (x1; : : : ; xn−1; z)j ≤ kfkn;1 kzk (kx1k · · · kxn−1k) n−1 since f is bounded on (X; k·k). Hence fz : X ! R is multilinear and bounded; and (n−1) then fz 2 X . (n−1) Now define uf : X ! X with uf (z) := fz for z 2 X. We have to show (n−1) uf 2 B(X; X ). First we show that uf is linear. Take z1; z2 2 X and α; β 2 R. For every x1; : : : ; xn−1 2 X, we have (uf (αz1 + βz2)) (x1; : : : ; xn−1) = fαz1+βz2 (x1; : : : ; xn−1) = f (x1; : : : ; xn−1; αz1 + βz2) = f (x1; : : : ; xn−1; αz1) + f (x1; : : : ; xn−1; βz2) = αf (x1; : : : ; xn−1; z1) + βf (x1; : : : ; xn−1; z2) = αfz1 (x1; : : : ; xn−1) + βfz2 (x1; : : : ; xn−1) = (αuf (z1)) (x1; : : : ; xn−1) + (βuf (z2)) (x1; : : : ; xn−1) = (αuf (z1) + βuf (z2)) (x1; : : : ; xn−1) and uf (αz1 + βz2) = αuf (z1) + βuf (z2).
Recommended publications
  • On the Second Dual of the Space of Continuous Functions
    ON THE SECOND DUAL OF THE SPACE OF CONTINUOUS FUNCTIONS BY SAMUEL KAPLAN Introduction. By "the space of continuous functions" we mean the Banach space C of real continuous functions on a compact Hausdorff space X. C, its first dual, and its second dual are not only Banach spaces, but also vector lattices, and this aspect of them plays a central role in our treatment. In §§1-3, we collect the properties of vector lattices which we need in the paper. In §4 we add some properties of the first dual of C—the space of Radon measures on X—denoted by L in the present paper. In §5 we imbed C in its second dual, denoted by M, and then identify the space of all bounded real functions on X with a quotient space of M, in fact with a topological direct summand. Thus each bounded function on X represents an entire class of elements of M. The value of an element/ of M on an element p. of L is denoted as usual by/(p.)- If/lies in C then of course f(u) =p(f) (usually written J fdp), and thus the multiplication between Afand P is an extension of the multiplication between L and C. Now in integration theory, for each pEL, there is a stand- ard "extension" of ffdu to certain of the bounded functions on X (we confine ourselves to bounded functions in this paper), which are consequently called u-integrable. The question arises: how is this "extension" related to the multi- plication between M and L.
    [Show full text]
  • A Novel Dual Approach to Nonlinear Semigroups of Lipschitz Operators
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 357, Number 1, Pages 409{424 S 0002-9947(04)03635-9 Article electronically published on August 11, 2004 A NOVEL DUAL APPROACH TO NONLINEAR SEMIGROUPS OF LIPSCHITZ OPERATORS JIGEN PENG AND ZONGBEN XU Abstract. Lipschitzian semigroup refers to a one-parameter semigroup of Lipschitz operators that is strongly continuous in the parameter. It con- tains C0-semigroup, nonlinear semigroup of contractions and uniformly k- Lipschitzian semigroup as special cases. In this paper, through developing a series of Lipschitz dual notions, we establish an analysis approach to Lips- chitzian semigroup. It is mainly proved that a (nonlinear) Lipschitzian semi- group can be isometrically embedded into a certain C0-semigroup. As ap- plication results, two representation formulas of Lipschitzian semigroup are established, and many asymptotic properties of C0-semigroup are generalized to Lipschitzian semigroup. 1. Introduction Let X and Y be Banach spaces over the same coefficient field K (= R or C), and let C ⊂ X and D ⊂ Y be their subsets. A mapping T from C into D is called Lipschitz operator if there exists a real constant M>0 such that (1.1) k Tx− Ty k≤ M k x − y k; 8x; y 2 C; where the constant M is commonly referred to as a Lipschitz constant of T . Clearly, if the mapping T is a constant (that is, there exists a vector y0 2 D such that Tx= y0 for all x 2 C), then T is a Lipschitz operator. Let Lip(C; D) denote the space of Lipschitz operators from C into D,andfor every T 2 Lip(C; D)letL(T ) denote the minimum Lipschitz constant of T , i.e., k Tx− Ty k (1.2) L(T )= sup : x;y2C;x=6 y k x − y k Then, it can be shown that the nonnegative functional L(·)isaseminormof Lip(C; D) and hence (Lip(C; D);L(·)) is a seminormed linear space.
    [Show full text]
  • Multilinear Algebra
    Appendix A Multilinear Algebra This chapter presents concepts from multilinear algebra based on the basic properties of finite dimensional vector spaces and linear maps. The primary aim of the chapter is to give a concise introduction to alternating tensors which are necessary to define differential forms on manifolds. Many of the stated definitions and propositions can be found in Lee [1], Chaps. 11, 12 and 14. Some definitions and propositions are complemented by short and simple examples. First, in Sect. A.1 dual and bidual vector spaces are discussed. Subsequently, in Sects. A.2–A.4, tensors and alternating tensors together with operations such as the tensor and wedge product are introduced. Lastly, in Sect. A.5, the concepts which are necessary to introduce the wedge product are summarized in eight steps. A.1 The Dual Space Let V be a real vector space of finite dimension dim V = n.Let(e1,...,en) be a basis of V . Then every v ∈ V can be uniquely represented as a linear combination i v = v ei , (A.1) where summation convention over repeated indices is applied. The coefficients vi ∈ R arereferredtoascomponents of the vector v. Throughout the whole chapter, only finite dimensional real vector spaces, typically denoted by V , are treated. When not stated differently, summation convention is applied. Definition A.1 (Dual Space)Thedual space of V is the set of real-valued linear functionals ∗ V := {ω : V → R : ω linear} . (A.2) The elements of the dual space V ∗ are called linear forms on V . © Springer International Publishing Switzerland 2015 123 S.R.
    [Show full text]
  • Fact Sheet Functional Analysis
    Fact Sheet Functional Analysis Literature: Hackbusch, W.: Theorie und Numerik elliptischer Differentialgleichungen. Teubner, 1986. Knabner, P., Angermann, L.: Numerik partieller Differentialgleichungen. Springer, 2000. Triebel, H.: H¨ohere Analysis. Harri Deutsch, 1980. Dobrowolski, M.: Angewandte Funktionalanalysis, Springer, 2010. 1. Banach- and Hilbert spaces Let V be a real vector space. Normed space: A norm is a mapping k · k : V ! [0; 1), such that: kuk = 0 , u = 0; (definiteness) kαuk = jαj · kuk; α 2 R; u 2 V; (positive scalability) ku + vk ≤ kuk + kvk; u; v 2 V: (triangle inequality) The pairing (V; k · k) is called a normed space. Seminorm: In contrast to a norm there may be elements u 6= 0 such that kuk = 0. It still holds kuk = 0 if u = 0. Comparison of two norms: Two norms k · k1, k · k2 are called equivalent if there is a constant C such that: −1 C kuk1 ≤ kuk2 ≤ Ckuk1; u 2 V: If only one of these inequalities can be fulfilled, e.g. kuk2 ≤ Ckuk1; u 2 V; the norm k · k1 is called stronger than the norm k · k2. k · k2 is called weaker than k · k1. Topology: In every normed space a canonical topology can be defined. A subset U ⊂ V is called open if for every u 2 U there exists a " > 0 such that B"(u) = fv 2 V : ku − vk < "g ⊂ U: Convergence: A sequence vn converges to v w.r.t. the norm k · k if lim kvn − vk = 0: n!1 1 A sequence vn ⊂ V is called Cauchy sequence, if supfkvn − vmk : n; m ≥ kg ! 0 for k ! 1.
    [Show full text]
  • Inner Product Spaces
    CHAPTER 6 Woman teaching geometry, from a fourteenth-century edition of Euclid’s geometry book. Inner Product Spaces In making the definition of a vector space, we generalized the linear structure (addition and scalar multiplication) of R2 and R3. We ignored other important features, such as the notions of length and angle. These ideas are embedded in the concept we now investigate, inner products. Our standing assumptions are as follows: 6.1 Notation F, V F denotes R or C. V denotes a vector space over F. LEARNING OBJECTIVES FOR THIS CHAPTER Cauchy–Schwarz Inequality Gram–Schmidt Procedure linear functionals on inner product spaces calculating minimum distance to a subspace Linear Algebra Done Right, third edition, by Sheldon Axler 164 CHAPTER 6 Inner Product Spaces 6.A Inner Products and Norms Inner Products To motivate the concept of inner prod- 2 3 x1 , x 2 uct, think of vectors in R and R as x arrows with initial point at the origin. x R2 R3 H L The length of a vector in or is called the norm of x, denoted x . 2 k k Thus for x .x1; x2/ R , we have The length of this vector x is p D2 2 2 x x1 x2 . p 2 2 x1 x2 . k k D C 3 C Similarly, if x .x1; x2; x3/ R , p 2D 2 2 2 then x x1 x2 x3 . k k D C C Even though we cannot draw pictures in higher dimensions, the gener- n n alization to R is obvious: we define the norm of x .x1; : : : ; xn/ R D 2 by p 2 2 x x1 xn : k k D C C The norm is not linear on Rn.
    [Show full text]
  • On the Isoperimetric Problem for the Laplacian with Robin and Wentzell Boundary Conditions
    On the Isoperimetric Problem for the Laplacian with Robin and Wentzell Boundary Conditions James B. Kennedy A thesis submitted in fulfillment of the requirements for the degree of Doctor of Philosophy School of Mathematics and Statistics March 2010 Abstract We consider the problem of minimising the eigenvalues of the Laplacian with ∂u Robin boundary conditions ∂ν + αu = 0 and generalised Wentzell boundary condi- tions ∆u+β ∂u +γu = 0 with respect to the domain Ω RN on which the problem ∂ν ⊂ is defined. For the Robin problem, when α > 0 we extend the Faber-Krahn in- equality of Daners [Math. Ann. 335 (2006), 767–785], which states that the ball minimises the first eigenvalue, to prove that the minimiser is unique amongst do- mains of class C2. The method of proof uses a functional of the level sets to estimate the first eigenvalue from below, together with a rearrangement of the ball’s eigenfunction onto the domain Ω and the usual isoperimetric inequality. We then prove that the second eigenvalue attains its minimum only on the disjoint union of two equal balls, and set the proof up so it works for the Robin p-Laplacian. For the higher eigenvalues, we show that it is in general impossible for a minimiser to exist independently of α> 0. When α< 0, we prove that every eigenvalue behaves like α2 as α , provided only that Ω is bounded with C1 − → −∞ boundary. This generalises a result of Lou and Zhu [Pacific J. Math. 214 (2004), 323–334] for the first eigenvalue. For the Wentzell problem, we (re-)prove general operator properties, including for the less-studied case β < 0, where the problem is ill-posed in some sense.
    [Show full text]
  • Arxiv:Math/0405137V1 [Math.RT] 7 May 2004 Oino Disbecniuu Ersnain Fsc Group)
    Draft: May 4, 2004 LOCALLY ANALYTIC VECTORS IN REPRESENTATIONS OF LOCALLY p-ADIC ANALYTIC GROUPS Matthew Emerton Northwestern University Contents 0. Terminology, notation and conventions 7 1. Non-archimedean functional analysis 10 2. Non-archimedean function theory 27 3. Continuous, analytic, and locally analytic vectors 43 4. Smooth, locally finite, and locally algebraic vectors 71 5. Rings of distributions 81 6. Admissible locally analytic representations 100 7. Representationsofcertainproductgroups 124 References 135 Recent years have seen the emergence of a new branch of representation theory: the theory of representations of locally p-adic analytic groups on locally convex p-adic topological vector spaces (or “locally analytic representation theory”, for short). Examples of such representations are provided by finite dimensional alge- braic representations of p-adic reductive groups, and also by smooth representations of such groups (on p-adic vector spaces). One might call these the “classical” ex- amples of such representations. One of the main interests of the theory (from the point of view of number theory) is that it provides a setting in which one can study p-adic completions of the classical representations [6], or construct “p-adic interpolations” of them (for example, by defining locally analytic analogues of the principal series, as in [20], or by constructing representations via the cohomology of arithmetic quotients of symmetric spaces, as in [9]). Locally analytic representation theory also plays an important role in the analysis of p-adic symmetric spaces; indeed, this analysis provided the original motivation for its development. The first “non-classical” examples in the theory were found by Morita, in his analysis of the p-adic upper half-plane (the p-adic symmetric arXiv:math/0405137v1 [math.RT] 7 May 2004 space attached to GL2(Qp)) [15], and further examples were found by Schneider and Teitelbaum in their analytic investigations of the p-adic symmetric spaces of GLn(Qp) (for arbitrary n) [19].
    [Show full text]
  • Chapter 6. Duality 6.1
    6.1. Examples of Dual Spaces 1 Chapter 6. Duality 6.1. Examples of Dual Spaces Note. Recall that the dual space of a normed linear space X is the space of all bounded linear functionals from X to the scalar field F, originally denoted B(X, F), but more often denoted X∗. In this section we find the duals of the `p spaces for 1 ≤ p < ∞ and Lp for 1 ≤ p < ∞. Our lack of background in Lebesgue measure and integration does not allow us to give totally rigorous proofs for some of these results. In the following result, the verb “is” means that there is a surjective isometry between the two relevant spaces. Theorem 6.1. (a) The dual of c0 (the space of all sequences which converge to 0, with the sup norm) is `1. (b) The dual of `1 is `∞. 1 1 (c) The dual of `p for 1 <p< ∞ is `q where + = 1. p q Note. Our text is a little unclear (in my opinion) on some of the details of the proof of Theorem 6.1. Therefore, we present a proof that follows the technique of Reed and Simon’s Functional Analysis (see pages 73 and 74), but use the notation of Promislow. 6.1. Examples of Dual Spaces 2 1 Proof of Theorem 6.1(a). The dual of c0 is ` . 1 (1) Let f = (f(1),f(2),...) ∈ c0 and let g = (g(1), g(2),...) ∈ ` . Then we claim ∞ the mapping φg(f)= f(k)g(k) is a bounded linear functional on c0.
    [Show full text]
  • The First Eigenvalue for the $P$-Laplacian Operator
    Journal of Inequalities in Pure and Applied Mathematics http://jipam.vu.edu.au/ Volume 6, Issue 3, Article 91, 2005 THE FIRST EIGENVALUE FOR THE p-LAPLACIAN OPERATOR IDRISSA LY LABORATOIRE DE MATHÉMATIQUES ET APPLICATIONS DE METZ ILE DU SAULCY, 57045 METZ CEDEX 01, FRANCE. [email protected] Received 12 February, 2005; accepted 17 June, 2005 Communicated by S.S. Dragomir ABSTRACT. In this paper, using the Hausdorff topology in the space of open sets under some capacity constraints on geometrical domains we prove the strong continuity with respect to the moving domain of the solutions of a p-Laplacian Dirichlet problem. We are also interested in the minimization of the first eigenvalue of the p-Laplacian with Dirichlet boundary conditions among open sets and quasi open sets of given measure. Key words and phrases: p-Laplacian, Nonlinear eigenvalue problems, Shape optimization. 2000 Mathematics Subject Classification. 35J70, 35P30, 35R35. 1. INTRODUCTION Let Ω be an open subset of a fixed ball D in RN ,N ≥ 2 and 1 < p < +∞. Consider the 1,p ∞ Sobolev space W0 (Ω) which is the closure of C functions compactly supported in Ω for the norm Z Z p p p ||u||1,p = |u(x)| dx + |∇u(x)| dx. Ω Ω The p-Laplacian is the operator defined by 1,p −1,q ∆p : W0 (Ω) −→ W (Ω) p−2 u 7−→ ∆pu = div(|∇u| ∇u), −1,q 1,p 1 1 where W (Ω) is the dual space of W0 (Ω) and we have 1 < p, q < ∞, p + q = 1. We are interested in the nonlinear eigenvalue problem ( p−2 −∆pu − λ|u| u = 0 in Ω, (1.1) u = 0 on ∂Ω.
    [Show full text]
  • Existence, Uniqueness, Optimization and Stability for Low Eigenvalues of Some Nonlinear Operators
    UNIVERSITA` DEGLI STUDI DI TRENTO Dipartimento di Matematica DOTTORATO DI RICERCA IN MATEMATICA XXV CICLO A thesis submitted for the degree of Doctor of Philosophy Giovanni Franzina Existence, Uniqueness, Optimization and Stability for low Eigenvalues of some Nonlinear Operators Supervisor: Prof. Peter Lindqvist Existence, uniqueness, optimization and stability for low eigenvalues of some nonlinear operators Ph.D. Thesis Giovanni Franzina November 12th, 2012 Members of the jury: Lorenzo Brasco – Universit´eAix-Marseille Filippo Gazzola – Politecnico di Milano Peter Lindqvist – Norwegian Institute of Technology Francesco Serra Cassano – Universit`adi Trento Creative Commons License Attribution 2.5 Generic (CC BY 2.5x) Contents Introduction v Chapter 1. Basic preliminaries on nonlinear eigenvalues 1 1. Differentiable functions 1 2. Constrained critical levels and eigenvalues 4 3. Existence of eigenvalues: minimization and global analysis 6 4. Existence of eigenvalues for variational integrals 19 Chapter 2. Classical elliptic regularity for eigenfunctions 25 1. L∞ bounds 25 2. H¨older continuity of eigenfunctions 30 Chapter 3. Hidden convexity for eigenfunctions and applications 35 1. Hidden convexity Lemma 35 2. Uniqueness of positive eigenfunctions 39 3. Uniqueness of ground states 43 4. Uniqueness of positive fractional eigenfunctions 45 Chapter 4. Spectral gap 49 1. A Mountain Pass lemma 49 2. Low variational eigenvalues on disconnected domains 54 3. The Spectral gap theorem 56 Chapter 5. Optimization of low Dirichlet p-eigenvalues 61 1. Faber-Krahn inequality 63 2. The Hong-Krahn-Szego inequality 65 3. The stability issue 66 4. Extremal cases: p = 1 and p = 70 5. Sharpness of the estimates: examples∞ and open problems 73 Chapter 6.
    [Show full text]
  • The Dual Space
    October 3, 2014 III. THE DUAL SPACE BASED ON NOTES BY RODICA D. COSTIN Contents 1. The dual of a vector space 1 1.1. Linear functionals 1 1.2. The dual space 2 1.3. Dual basis 3 1.4. Linear functionals as covectors; change of basis 4 1.5. Functionals and hyperplanes 5 1.6. Application: Spline interpolation of sampled data (Based on Prof. Gerlach's notes) 5 1.7. The bidual 8 1.8. Orthogonality 8 1.9. The transpose 9 1.10. Eigenvalues of the transpose 11 1. The dual of a vector space 1.1. Linear functionals. Let V be a vector space over the scalar field F = R or C. Recall that linear functionals are particular cases of linear transformation, namely those whose values are in the scalar field (which is a one dimensional vector space): Definition 1. A linear functional on V is a linear transformation with scalar values: φ : V ! F . A simple example is the first component functional: φ(x) = x1. We denote φ(x) ≡ (φ; x). Example in finite dimensions. If M is a row matrix, M = [a1; : : : ; an] n where aj 2 F , then φ : F ! F defined by matrix multiplication, φ(x) = Mx, is a linear functional on F n. These are, essentially, all the linear func- tionals on a finite dimensional vector space. Indeed, the matrix associated to a linear functional φ : V ! F in a basis BV = fv1;:::; vng of V , and the (standard) basis f1g of F is the row vector (1) [φ1; : : : ; φn]; where φj = (φ; vj) 1 2 BASED ON NOTES BY RODICA D.
    [Show full text]
  • 54 (2002), 111-115 on the THREE-SPACE-PROBLEM for Df
    MATEMATHQKHBECHHK UDK 517.982.2 54 (2002), 111-115 oprrr-anaznra HaY'-IHVl pazr research paper ON THE THREE-SPACE-PROBLEM FOR dF SPACES AND THEIR DUALS Zoran Kadelburg and Stojan Radonovic Abstract. It is shown that dF spaces of K. Brauner behave more regularly than DF spaces in connection with the three-space-problem. In particular, this problem has a positive answer in the class of Frechet spaces for the property of being the strong dual of a barrelled dF space. Thus, a partial positive answer to a question of D. Vogt is obtained. 1. Introduction K. Brauner introduced in [4] the class of dF spaces which have some similar properties as more familiar DF spaces of A. Grothendieck, but are also significantly different. Thus, for example, this class is stable under passing to an arbitrary closed subspace, which is not the case for DF spaces. Also, each Frechet space is the strong dual of a dF space, which is not true for DF spaces. In this paper we shall prove some more properties of dF spaces, particularly those connected with the three­ space-problem for dF and dual spaces. A Frechet space is usually called a dual space if it is the strong dual of a barrelled DF space. D. Vogt posed the question in [18] whether the property of being a dual space is three-space-stable, i.e., whether if in a short exact sequence (1) of Frechet spaces, F and G are dual spaces, the same must be true for E. It was proved in [6; Examples 1 and 2] that the answer is negative; it is negative also in the class of Banach spaces [5].
    [Show full text]