DOCSLIB.ORG

Untangling Noncommutativity with Operator Integrals

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Untangling Noncommutativity with Operator Integrals Untangling Noncommutativity with Operator Integrals Anna Skripka Emergence of Operator Integration where ℰ퐴 is the projection-valued spectral measure of 퐴, Operator integration (OI) is a collection of powerful meth- and the function of this operator 푓(퐴) is given by the ods and techniques that enable analysis of functions with operator integral noncommuting arguments. Such functions arise, in par- ticular, in various problems of applied matrix analysis, 푓(퐴) = ∫ 푓(휆) 푑ℰ퐴(휆). mathematical physics, noncommutative geometry, and ℝ statistical estimation. When 퐴 is a finite matrix, the above integral degenerates Single operator integrals are basic tools in the classical to a finite sum functional calculus. For instance, a self-adjoint operator 퐴 densely defined in a separable Hilbert space admits the 푓(퐴) = ∑ 푓(휆푘)ℰ퐴(휆푘). operator integral decomposition 푘 퐴 = ∫ 휆 푑ℰ퐴(휆), This spectral integral (or sum) decomposition induces a ℝ straightforward estimate of an operator function in terms of the scalar function Anna Skripka is an associate professor of mathematics at the University of New Mexico. Her email address is [email protected]. ‖푓(퐴)‖ ≤ ‖푓‖∞. The author’s work is partially supported by NSF CAREER grant DMS-1554456. Communicated by Notices Associate Editor Daniela De Silva. In approximation problems one might need to estimate For permission to reprint this article, please contact: the difference 푓(퐴) − 푓(퐵) of functions of self-adjoint op- [email protected]. erators 퐴 and 퐵 in terms of some norms of 퐴 − 퐵 and DOI: https://doi.org/10.1090/noti2008 푓. When 퐴 and 퐵 are bounded and commuting, we can JANUARY 2020 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 45 represent this difference as the integral note. We will demonstrate applicability of OI to ques- tions arising in the study of smoothness properties of 푓(퐴) − 푓(퐵) operator functions, spectral shift, spectral flow, quantum 푓(휆) − 푓(휇) differentiability, and smoothness of noncommutative 퐿푝- = ∬ 푑ℰ퐴+푖퐵(휆, 휇)(퐴 − 퐵) ℝ2 휆 − 휇 norms. Technical details will be omitted, but an interested with respect to the spectral measure of the normal operator reader is invited to find them along with a continued dis- 퐴 + 푖퐵. By submultiplicativity of the operator norm and cussion in the recent book [19]. Due to the restriction on properties of the spectral integral, we deduce the bound the allowed number of references many important contri- ‖푓(퐴) − 푓(퐵)‖ ≤ ‖푓‖Lip(ℝ)‖퐴 − 퐵‖. butions in the field will not be cited here, but can befound in [19]. Similar bounds for noncommuting 퐴 and 퐵 are deep re- sults grounded on double or iterated operator integral de- Operator Integrals on Finite Matrices compositions Methods of operator integration have been actively used 푓(퐴) − 푓(퐵) and rediscovered in matrix analysis, often with many par- ticular cases treated separately without appeal to a general 푓(휆) − 푓(휇) = ∫ ∫ 푑ℰ (휆)(퐴 − 퐵)푑ℰ (휇). theory. In this section we give an overview of general re- 휆 − 휇 퐴 퐵 ℝ ℝ sults supplied by the OI approach along with types of prob- The right-hand side above can be interpreted as the value lems where they can be applied. 퐴,퐵 of a linear transformation 푇휑 on 퐴 − 퐵, where 휑(휆, 휇) = 2 푓(휆)−푓(휇) Linear case. Let ℓ푑 denote the 푑-dimensional Hilbert , and, thus, 휆−휇 space equipped with the Euclidean inner product and let 2 퐴,퐵 ℬ(ℓ푑) denote the Banach space of linear operators (or 푓(퐴) − 푓(퐵) = 푇휑 (퐴 − 퐵). 2 푑 × 푑 matrices) on ℓ푑 equipped with the operator (spec- 2 More generally, the OI approach reduces analysis of dif- tral) norm. Let 퐴, 퐵 ∈ ℬ(ℓ푑) be self-adjoint matrices, let 푑 푑 ferent noncommutative expressions to the analysis of a {푔푗}푗=1, {ℎ푘}푘=1 be complete systems of orthonormal eigen- 퐴1,…,퐴푛+1 푑 푑 multilinear transformation 푇휑 acting on a Carte- vectors, and let {휆푗}푗=1, {휇푘}푘=1 be sequences of the corre- sian product of matrices or infinite-dimensional opera- sponding eigenvalues of 퐴 and 퐵, respectively. Let 푃ℎ de- 2 tors. The parameters 휑, 퐴1, … , 퐴푛+1 are determined by note the orthogonal projection onto the vector ℎ ∈ ℓ푑 and the model in question. The values of the transforma- let 휑 ∶ ℝ2 → ℂ be a function. 퐴1,…,퐴푛+1 tion 푇휑 are often decomposed into integrals with The double operator integral constructed from the spec- operator-valued integrands or measures. Properties of tral data of 퐴, 퐵 and the symbol 휑 is the bounded linear 퐴1,…,퐴푛+1 transformation 푇휑 depend on the space where it acts, on the type 퐴,퐵 2 2 of symbol 휑, and sometimes on the spectral properties of 푇휑 ∶ ℬ(ℓ푑) → ℬ(ℓ푑) the operators 퐴1, … , 퐴푛+1. given by Organization 푑 푑 퐴,퐵 푇휑 (푋) = ∑ ∑ 휑(휆 , 휇 )푃 푋푃 (1) Our first acquaintance with multiple operator integration 푗 푘 푔푗 ℎ푘 푗=1 푘=1 in this note will occur in the finite-dimensional setting 퐴1,…,퐴푛+1 2 퐴,퐵 since 푇휑 on tuples of matrices admits a finite sum for 푋 ∈ ℬ(ℓ푑). In other words, 푇휑 acts on 푋 as the entry- 푑 representation. We will see a nonchronological summary wise multiplier of the matrix of 푋 in the bases {푔푗}푗=1 and of major results and glimpses of fundamental ideas along 푑 {ℎ }푑 by the matrix (휑(휆 , 휇 )) : with questions approachable by the OI method. 푘 푘=1 푗 푘 푗,푘=1 Then we will become familiar with OI in the general set- 푑 푑 (푥푗푘) ↦ (휑(휆푗, 휇푘) 푥푗푘) . (2) ting of noncommutative 퐿푝-spaces, where in addition to 푗,푘=1 푗,푘=1 퐴,퐵 puzzles of noncommutativity one deals with convergence Due to this interpretation, the transformation 푇휑 is also issues. We will touch upon several constructions known called a Schur multiplier. under the name “multiple operator integral,” each one Given a differentiable function 푓 ∶ ℝ → ℂ and the ma- supplying a particular type of estimate for noncommuta- trix functions 푓(퐴) and 푓(퐵) defined by the functional cal- tive expressions arising in different setups. culus, From the beginning of its development, the theory of 푑 푑 operator integration has been motivated and guided by 푓(퐴) = ∑ 푓(휆푗)푃푔푗 and 푓(퐵) = ∑ 푓(휇푘)푃ℎ푘 , applications, and this synergy will be reflected in this 푗=1 푘=1 46 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 67, NUMBER 1 2 we have the representation for 푋1, 푋2, … , 푋푛 ∈ ℬ(ℓ푑). It is also called an 푛-linear Schur 퐴,퐵 multiplier. 푓(퐴) − 푓(퐵) = 푇 (퐴 − 퐵). 푓[1] (3) 퐴1,…,퐴푛+1 The transformation 푇휑 generalizes both the en- Here 푓[1] is the divided difference of 푓 given by trywise product (2) (when 푛 = 1) and the usual matrix 푓(휆)−푓(휇) product 푋1 ⋯ 푋푛 (when 휑 ≡ 1). In the bases of eigenvec- if 휆 ≠ 휇, 퐴,퐴,퐴 푓[1](휆, 휇) = { 휆−휇 tors of 퐴, the transformation 푇휑 acts on the pair (푋, 푌) 푓′(휆) if 휆 = 휇. by 푑 푑 The representation (3) was derived by K. Löwner in 1934 ((푥푖푗)푖,푗=1, (푦푗푘)푗,푘=1) in his work on characterization of matrix monotone func- 푑 푑 tions by means of basic spectral theory. From (3) and the ↦ ( ∑ 휑(휆푖, 휆푗, 휆푘) 푥푖푗 푦푗푘) . 퐴,퐵 푗=1 푖,푘=1 Schur multiplier property (2) of 푇푓[1] we conclude that if 푑 (푓[1](휆 , 휇 )) This transformation appears in the representation for the matrix 푗 푘 푗,푘=1 is positive definite, then the function 푓 is matrix monotone, that is, 퐴 ≤ 퐵 implies the Taylor remainder 푓(퐴) ≤ 푓(퐵) 푛−1 . 1 푑푘 The representation (3) along with (1) can be used to 푓(퐴) − 푓(퐵) − ∑ 푓(퐵 + 푡(퐴 − 퐵))| (7) 푘! 푑푡푘 푡=0 prove existence and the Schur multiplier property (2) of 푘=1 the matrix derivative 퐴,퐵,…,퐵 = 푇푓[푛] (퐴 − 퐵, … , 퐴 − 퐵). 푑 푓(퐵 + 푡(퐴 − 퐵))| = 푇퐵,퐵(퐴 − 퐵). (4) Here 푓 is an 푛 times differentiable function whose deriva- 푑푡 푡=0 푓[1] tive 푓(푛) is bounded on a segment that contains the spectra The double operator integral also calculates the quasicom- of 퐴 and 퐵, and 푓[푛] is the 푛th order divided difference of mutator 푓, which is defined recursively by 퐴,퐵 푓(퐴)푋 − 푋푓(퐵) = 푇푓[1] (퐴푋 − 푋퐵). (5) 푓[푚+1] = (푓[푚])[1]. The representations (3) – (5) indicate that increments and The relation (7) reduces questions on Taylor approxima- derivatives of operator functions as well as quasicommuta- tion and convexity of matrix functions to the analysis of tors can be studied and estimated in a unified way in the 퐴,퐵,…,퐵 푇푓[푛] . double operator integration framework. We will consider A multilinear Schur multiplier also calculates the a variety of such estimates in different norms. higher-order Fr´echetmatrix derivative 1 푑푘 Multilinear case. Multilinear operator integrals arise as 푓(퐵 + 푡(퐴 − 퐵))| (8) natural extensions of double ones in higher-order pertur- 푘! 푑푡푘 푡=0 퐵,퐵,…,퐵 bation problems. = 푇푓[푘] (퐴 − 퐵, … , 퐴 − 퐵), 2 Let 푛 be a natural number, let 퐴1, … , 퐴푛+1 ∈ ℬ(ℓ ) be 푑 where 푓 is 푘 times continuously differentiable. The idea {푔(푗)}푑 self-adjoint matrices, let 푖 푖=1 be an orthonormal ba- of involving OI in higher-order differentiation of oper- (푗) 푑 sis of eigenvectors, and let {휆푖 }푖=1 be the corresponding ator functions was introduced by Yu.
Load more

Recommended publications
  • 18.102 Introduction to Functional Analysis Spring 2009
    MIT OpenCourseWare http://ocw.mit.edu 18.102 Introduction to Functional Analysis Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 108 LECTURE NOTES FOR 18.102, SPRING 2009 Lecture 19. Thursday, April 16 I am heading towards the spectral theory of self-adjoint compact operators. This is rather similar to the spectral theory of self-adjoint matrices and has many useful applications. There is a very effective spectral theory of general bounded but self- adjoint operators but I do not expect to have time to do this. There is also a pretty satisfactory spectral theory of non-selfadjoint compact operators, which it is more likely I will get to. There is no satisfactory spectral theory for general non-compact and non-self-adjoint operators as you can easily see from examples (such as the shift operator). In some sense compact operators are ‘small’ and rather like finite rank operators. If you accept this, then you will want to say that an operator such as (19.1) Id −K; K 2 K(H) is ‘big’. We are quite interested in this operator because of spectral theory. To say that λ 2 C is an eigenvalue of K is to say that there is a non-trivial solution of (19.2) Ku − λu = 0 where non-trivial means other than than the solution u = 0 which always exists. If λ =6 0 we can divide by λ and we are looking for solutions of −1 (19.3) (Id −λ K)u = 0 −1 which is just (19.1) for another compact operator, namely λ K: What are properties of Id −K which migh show it to be ‘big? Here are three: Proposition 26.
    [Show full text]
  • Curl, Divergence and Laplacian
    Curl, Divergence and Laplacian What to know: 1. The definition of curl and it two properties, that is, theorem 1, and be able to predict qualitatively how the curl of a vector field behaves from a picture. 2. The definition of divergence and it two properties, that is, if div F~ 6= 0 then F~ can't be written as the curl of another field, and be able to tell a vector field of clearly nonzero,positive or negative divergence from the picture. 3. Know the definition of the Laplace operator 4. Know what kind of objects those operator take as input and what they give as output. The curl operator Let's look at two plots of vector fields: Figure 1: The vector field Figure 2: The vector field h−y; x; 0i: h1; 1; 0i We can observe that the second one looks like it is rotating around the z axis. We'd like to be able to predict this kind of behavior without having to look at a picture. We also promised to find a criterion that checks whether a vector field is conservative in R3. Both of those goals are accomplished using a tool called the curl operator, even though neither of those two properties is exactly obvious from the definition we'll give. Definition 1. Let F~ = hP; Q; Ri be a vector field in R3, where P , Q and R are continuously differentiable. We define the curl operator: @R @Q @P @R @Q @P curl F~ = − ~i + − ~j + − ~k: (1) @y @z @z @x @x @y Remarks: 1.
    [Show full text]
  • Numerical Operator Calculus in Higher Dimensions
    Numerical operator calculus in higher dimensions Gregory Beylkin* and Martin J. Mohlenkamp Applied Mathematics, University of Colorado, Boulder, CO 80309 Communicated by Ronald R. Coifman, Yale University, New Haven, CT, May 31, 2002 (received for review July 31, 2001) When an algorithm in dimension one is extended to dimension d, equation using only one-dimensional operations and thus avoid- in nearly every case its computational cost is taken to the power d. ing the exponential dependence on d. However, if the best This fundamental difficulty is the single greatest impediment to approximate solution of the form (Eq. 1) is not good enough, solving many important problems and has been dubbed the curse there is no way to improve the accuracy. of dimensionality. For numerical analysis in dimension d,we The natural extension of Eq. 1 is the form propose to use a representation for vectors and matrices that generalizes separation of variables while allowing controlled ac- r ͑ ͒ ϭ ͸ ␾l ͑ ͒ ␾l ͑ ͒ curacy. Basic linear algebra operations can be performed in this f x1,...,xd sl 1 x1 ··· d xd . [2] representation using one-dimensional operations, thus bypassing lϭ1 the exponential scaling with respect to the dimension. Although not all operators and algorithms may be compatible with this The key quantity in Eq. 2 is r, which we call the separation rank. representation, we believe that many of the most important ones By increasing r, the approximate solution can be made as are. We prove that the multiparticle Schro¨dinger operator, as well accurate as desired.
    [Show full text]
  • 23. Kernel, Rank, Range
    23. Kernel, Rank, Range We now study linear transformations in more detail. First, we establish some important vocabulary. The range of a linear transformation f : V ! W is the set of vectors the linear transformation maps to. This set is also often called the image of f, written ran(f) = Im(f) = L(V ) = fL(v)jv 2 V g ⊂ W: The domain of a linear transformation is often called the pre-image of f. We can also talk about the pre-image of any subset of vectors U 2 W : L−1(U) = fv 2 V jL(v) 2 Ug ⊂ V: A linear transformation f is one-to-one if for any x 6= y 2 V , f(x) 6= f(y). In other words, different vector in V always map to different vectors in W . One-to-one transformations are also known as injective transformations. Notice that injectivity is a condition on the pre-image of f. A linear transformation f is onto if for every w 2 W , there exists an x 2 V such that f(x) = w. In other words, every vector in W is the image of some vector in V . An onto transformation is also known as an surjective transformation. Notice that surjectivity is a condition on the image of f. 1 Suppose L : V ! W is not injective. Then we can find v1 6= v2 such that Lv1 = Lv2. Then v1 − v2 6= 0, but L(v1 − v2) = 0: Definition Let L : V ! W be a linear transformation. The set of all vectors v such that Lv = 0W is called the kernel of L: ker L = fv 2 V jLv = 0g: 1 The notions of one-to-one and onto can be generalized to arbitrary functions on sets.
    [Show full text]
  • October 7, 2015 1 Adjoint of a Linear Transformation
    Mathematical Toolkit Autumn 2015 Lecture 4: October 7, 2015 Lecturer: Madhur Tulsiani The following is an extremely useful inequality. Prove it for a general inner product space (not neccessarily finite dimensional). Exercise 0.1 (Cauchy-Schwarz-Bunyakowsky inequality) Let u; v be any two vectors in an inner product space V . Then jhu; vij2 ≤ hu; ui · hv; vi Let V be a finite dimensional inner product space and let fw1; : : : ; wng be an orthonormal basis for P V . Then for any v 2 V , there exist c1; : : : ; cn 2 F such that v = i ci · wi. The coefficients ci are often called Fourier coefficients. Using the orthonormality and the properties of the inner product, we get ci = hv; wii. This can be used to prove the following Proposition 0.2 (Parseval's identity) Let V be a finite dimensional inner product space and let fw1; : : : ; wng be an orthonormal basis for V . Then, for any u; v 2 V n X hu; vi = hu; wii · hv; wii : i=1 1 Adjoint of a linear transformation Definition 1.1 Let V; W be inner product spaces over the same field F and let ' : V ! W be a linear transformation. A transformation '∗ : W ! V is called an adjoint of ' if h'(v); wi = hv; '∗(w)i 8v 2 V; w 2 W: n Pn Example 1.2 Let V = W = C with the inner product hu; vi = i=1 ui · vi. Let ' : V ! V be represented by the matrix A. Then '∗ is represented by the matrix AT . Exercise 1.3 Let 'left : Fib ! Fib be the left shift operator as before, and let hf; gi for f; g 2 Fib P1 f(n)g(n) ∗ be defined as hf; gi = n=0 Cn for C > 4.
    [Show full text]
  • Operator Calculus
    Pacific Journal of Mathematics OPERATOR CALCULUS PHILIP JOEL FEINSILVER Vol. 78, No. 1 March 1978 PACIFIC JOURNAL OF MATHEMATICS Vol. 78, No. 1, 1978 OPERATOR CALCULUS PHILIP FEINSILVER To an analytic function L(z) we associate the differential operator L(D), D denoting differentiation with respect to a real variable x. We interpret L as the generator of a pro- cess with independent increments having exponential mar- tingale m(x(t), t)= exp (zx(t) — tL{z)). Observing that m(x, —t)—ezCl where C—etLxe~tL, we study the operator calculus for C and an associated generalization of the operator xD, A—CD. We find what functions / have the property n that un~C f satisfy the evolution equation ut~Lu and the eigenvalue equations Aun—nun, thus generalizing the powers xn. We consider processes on RN as well as R1 and discuss various examples and extensions of the theory. In the case that L generates a Markov semigroup, we have transparent probabilistic interpretations. In case L may not gene- rate a probability semigroup, the general theory gives some insight into what properties any associated "processes with independent increments" should have. That is, the purpose is to elucidate the Markov case but in such a way that hopefully will lead to practi- cable definitions and will present useful ideas for defining more general processes—involving, say, signed and/or singular measures. IL Probabilistic basis. Let pt(%} be the transition kernel for a process p(t) with stationary independent increments. That is, ί pί(a?) = The Levy-Khinchine formula says that, generally: tξ tL{ίξ) e 'pt(x) = e R where L(ίξ) = aiξ - σψ/2 + [ eiξu - 1 - iζη(u)-M(du) with jΛ-fO} u% η(u) = u(\u\ ^ 1) + sgn^(M ^ 1) and ί 2M(du)< <*> .
    [Show full text]
  • The Holomorphic Functional Calculus Approach to Operator Semigroups
    THE HOLOMORPHIC FUNCTIONAL CALCULUS APPROACH TO OPERATOR SEMIGROUPS CHARLES BATTY, MARKUS HAASE, AND JUNAID MUBEEN In honour of B´elaSz.-Nagy (29 July 1913 { 21 December 1998) on the occasion of his centenary Abstract. In this article we construct a holomorphic functional calculus for operators of half-plane type and show how key facts of semigroup theory (Hille- Yosida and Gomilko-Shi-Feng generation theorems, Trotter-Kato approxima- tion theorem, Euler approximation formula, Gearhart-Pr¨usstheorem) can be elegantly obtained in this framework. Then we discuss the notions of bounded H1-calculus and m-bounded calculus on half-planes and their relation to weak bounded variation conditions over vertical lines for powers of the resolvent. Finally we discuss the Hilbert space case, where semigroup generation is char- acterised by the operator having a strong m-bounded calculus on a half-plane. 1. Introduction The theory of strongly continuous semigroups is more than 60 years old, with the fundamental result of Hille and Yosida dating back to 1948. Several monographs and textbooks cover material which is now canonical, each of them having its own particular point of view. One may focus entirely on the semigroup, and consider the generator as a derived concept (as in [12]) or one may start with the generator and view the semigroup as the inverse Laplace transform of the resolvent (as in [2]). Right from the beginning, functional calculus methods played an important role in semigroup theory. Namely, given a C0-semigroup T = (T (t))t≥0 which is uni- formly bounded, say, one can form the averages Z 1 Tµ := T (s) µ(ds) (strong integral) 0 for µ 2 M(R+) a complex Radon measure of bounded variation on R+ = [0; 1).
    [Show full text]
  • Functional Analysis (WS 19/20), Problem Set 8 (Spectrum And
    Functional Analysis (WS 19/20), Problem Set 8 (spectrum and adjoints on Hilbert spaces)1 In what follows, let H be a complex Hilbert space. Let T : H ! H be a bounded linear operator. We write T ∗ : H ! H for adjoint of T dened with hT x; yi = hx; T ∗yi: This operator exists and is uniquely determined by Riesz Representation Theorem. Spectrum of T is the set σ(T ) = fλ 2 C : T − λI does not have a bounded inverseg. Resolvent of T is the set ρ(T ) = C n σ(T ). Basic facts on adjoint operators R1. | Adjoint T ∗ exists and is uniquely determined. R2. | Adjoint T ∗ is a bounded linear operator and kT ∗k = kT k. Moreover, kT ∗T k = kT k2. R3. | Taking adjoints is an involution: (T ∗)∗ = T . R4. Adjoints commute with the sum: ∗ ∗ ∗. | (T1 + T2) = T1 + T2 ∗ ∗ R5. | For λ 2 C we have (λT ) = λ T . R6. | Let T be a bounded invertible operator. Then, (T ∗)−1 = (T −1)∗. R7. Let be bounded operators. Then, ∗ ∗ ∗. | T1;T2 (T1 T2) = T2 T1 R8. | We have relationship between kernel and image of T and T ∗: ker T ∗ = (im T )?; (ker T ∗)? = im T It will be helpful to prove that if M ⊂ H is a linear subspace, then M = M ??. Btw, this covers all previous results like if N is a nite dimensional linear subspace then N = N ?? (because N is closed). Computation of adjoints n n ∗ M1. ,Let A : R ! R be a complex matrix. Find A . 2 M2. | ,Let H = l (Z). For x = (:::; x−2; x−1; x0; x1; x2; :::) 2 H we dene the right shift operator −1 ∗ with (Rx)k = xk−1: Find kRk, R and R .
    [Show full text]
  • Divergence, Gradient and Curl Based on Lecture Notes by James
    Divergence, gradient and curl Based on lecture notes by James McKernan One can formally define the gradient of a function 3 rf : R −! R; by the formal rule @f @f @f grad f = rf = ^{ +| ^ + k^ @x @y @z d Just like dx is an operator that can be applied to a function, the del operator is a vector operator given by @ @ @ @ @ @ r = ^{ +| ^ + k^ = ; ; @x @y @z @x @y @z Using the operator del we can define two other operations, this time on vector fields: Blackboard 1. Let A ⊂ R3 be an open subset and let F~ : A −! R3 be a vector field. The divergence of F~ is the scalar function, div F~ : A −! R; which is defined by the rule div F~ (x; y; z) = r · F~ (x; y; z) @f @f @f = ^{ +| ^ + k^ · (F (x; y; z);F (x; y; z);F (x; y; z)) @x @y @z 1 2 3 @F @F @F = 1 + 2 + 3 : @x @y @z The curl of F~ is the vector field 3 curl F~ : A −! R ; which is defined by the rule curl F~ (x; x; z) = r × F~ (x; y; z) ^{ |^ k^ = @ @ @ @x @y @z F1 F2 F3 @F @F @F @F @F @F = 3 − 2 ^{ − 3 − 1 |^+ 2 − 1 k:^ @y @z @x @z @x @y Note that the del operator makes sense for any n, not just n = 3. So we can define the gradient and the divergence in all dimensions. However curl only makes sense when n = 3. Blackboard 2. The vector field F~ : A −! R3 is called rotation free if the curl is zero, curl F~ = ~0, and it is called incompressible if the divergence is zero, div F~ = 0.
    [Show full text]
  • On a New Generalized Integral Operator and Certain Operating Properties
    axioms Article On a New Generalized Integral Operator and Certain Operating Properties Paulo M. Guzman 1,2,†, Luciano M. Lugo 1,†, Juan E. Nápoles Valdés 1,† and Miguel Vivas-Cortez 3,*,† 1 FaCENA, UNNE, Av. Libertad 5450, Corrientes 3400, Argentina; [email protected] (P.M.G.); [email protected] (L.M.L.); [email protected] (J.E.N.V.) 2 Facultad de Ingeniería, UNNE, Resistencia, Chaco 3500, Argentina 3 Facultad de Ciencias Exactas y Naturales, Escuela de Ciencias Físicas y Matemática, Pontificia Universidad Católica del Ecuador, Quito 170143, Ecuador * Correspondence: [email protected] † These authors contributed equally to this work. Received: 20 April 2020; Accepted: 22 May 2020; Published: 20 June 2020 Abstract: In this paper, we present a general definition of a generalized integral operator which contains as particular cases, many of the well-known, fractional and integer order integrals. Keywords: integral operator; fractional calculus 1. Preliminars Integral Calculus is a mathematical area with so many ramifications and applications, that the sole intention of enumerating them makes the task practically impossible. Suffice it to say that the simple procedure of calculating the area of an elementary figure is a simple case of this topic. If we refer only to the case of integral inequalities present in the literature, there are different types of these, which involve certain properties of the functions involved, from generalizations of the known Mean Value Theorem of classical Integral Calculus, to varied inequalities in norm. Let (U, ∑ U, u) and (V, ∑ V, m) be s-fìnite measure spaces, and let (W, ∑ W, l) be the product of these spaces, thus W = UxV and l = u x m.
    [Show full text]
  • Spectrum (Functional Analysis) - Wikipedia, the Free Encyclopedia
    Spectrum (functional analysis) - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Spectrum_(functional_analysis) Spectrum (functional analysis) From Wikipedia, the free encyclopedia In functional analysis, the concept of the spectrum of a bounded operator is a generalisation of the concept of eigenvalues for matrices. Specifically, a complex number λ is said to be in the spectrum of a bounded linear operator T if λI − T is not invertible, where I is the identity operator. The study of spectra and related properties is known as spectral theory, which has numerous applications, most notably the mathematical formulation of quantum mechanics. The spectrum of an operator on a finite-dimensional vector space is precisely the set of eigenvalues. However an operator on an infinite-dimensional space may have additional elements in its spectrum, and may have no eigenvalues. For example, consider the right shift operator R on the Hilbert space ℓ2, This has no eigenvalues, since if Rx=λx then by expanding this expression we see that x1=0, x2=0, etc. On the other hand 0 is in the spectrum because the operator R − 0 (i.e. R itself) is not invertible: it is not surjective since any vector with non-zero first component is not in its range. In fact every bounded linear operator on a complex Banach space must have a non-empty spectrum. The notion of spectrum extends to densely-defined unbounded operators. In this case a complex number λ is said to be in the spectrum of such an operator T:D→X (where D is dense in X) if there is no bounded inverse (λI − T)−1:X→D.
    [Show full text]
  • THE VOLTERRA OPERATOR Let V Be the Indefinite Integral Operator
    THE VOLTERRA OPERATOR JOHN THICKSTUN Let V be the indefinite integral operator defined by Z t V f(t) = f(s)ds: 0 This is a linear operator. It can be defined on any domain of integrable functions, but here we restrict ourselves to domains where it behaves nicely. For example, if f 2 Lp[0; 1] for p 2 (1; 1] then by H¨older'sinequality Z x 1=q jV f(x) − V f(y)j ≤ jf(s)jds ≤ kfkpjx − yj : y p So V f is (H¨older-)continuous on [0; 1]. If Bp is the unit ball in L [0; 1] then the image of Bp in V is equicontinuous. Furthermore, Z t jV f(t)j ≤ jf(s)jds ≤ jtj1=q ≤ 1: 0 p Therefore the image of Bp is (uniformly) bounded. By Arzela-Ascoli, V : L [0; 1] ! C[0; 1] is compact. The preceeding argument does not go through when V acts on L1[0; 1]. In this case equicontinuity fails, as is demonstrated by the following family ffng ⊂ B1: fn(s) = n1[0;1=n](s): This suffices to preclude compactness of V ; in particular, V fn has no Cauchy subsequence. Suppose V f = λf for some λ 6= 0. By definition λf is (absolutely) continuous. We deduce that V f (and therefore f) is continuously differentiable and that f = λf 0. It follows that f(s) = ces/λ. But then 0 = λf − V f = c so V has no eigenvalues and by the spectral theorem for compact operators, σ(V ) = f0g.
    [Show full text]