ON POTENTIAL INEQUALITY FOR THE ABSOLUTE VALUE OF FUNCTIONS. Neven Elezović, Josip Pečarić and Marjan Praljak
|
|
- Emily Williamson
- 5 years ago
- Views:
Transcription
1 RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 18 = : ON POTENTIAL INEQUALITY FOR THE ASOLUTE VALUE OF FUNCTIONS Neven Eleović, Josip Pečarić and Marjan Praljak Abstract. Potential inequality was introduced in [4] and later extended to the case of general convex and concave functions in [1]. The main goal of this paper is to derive the potential inequality for the case where the function at which the potential is evaluated is replaced by its absolute value. The results obtained, together with methods from [], are used to construct new families of exponentially convex functions. 1. introduction Rao and Šikić [4] introduced the potential inequality for kernels and functions that satisfy the maximum principle see below, but they proved it only for a special class of convex and concave functions. Eleović, Pečarić and Praljak [1] generalied the potential inequality to the class of naturally defined convex functions on 0, +, which enabled them to generate certain exponentially convex functions that were used to refine some of the known inequalities and to derive new ones. In this article, we will look at the same class of kernels and functions and extend the results to the case where the function is replaced by its absolute value. Furthermore, we will generate more families of exponentially convex functions by applying methods from [] that make use of the divided differences. We will start off by introducing notation and the setup. We say that Nx, dy is a positive kernel on if N : [0, + ] is a mapping such that, for every x, A Nx, A is a σ-finite measure, and, for every A, x Nx, A is a measurable function. For a measurable function f, the potential of f with respect to N at a point x is Nfx = fynx, dy, 010 Mathematics Subject Classification. 6D15. Key words and phrases. Potential inequality, exponential convexity. 107
2 108 N. ELEZOVIĆ, J. PEČARIĆ AND M. PRALJAK whenever the integral exists. The class of functions that have the potential at every point is denoted by POT N. For a measure µ on, and a measurable set C we will denote by ˆN C µ the measure defined by ˆN C µdy = Nx, dyµdx. C If C = we will omit the subscript, i. e. ˆNµ will denote the measure ˆN µ. Definition 1.1. Let N be a positive kernel on and R POT N. We say that N satisfies the strong maximum principle on R with constant M 1 if 1.1 Nfx Mu + N[f + 1 {Nf u} ]x holds for every x, f R and u 0. The main result from [1] is the following theorem Theorem 1. The potential inequality for convex functions. Let Φ : 0, + R be a convex function and Nx, dy a positive kernel on which satisfies the strong maximum principle on R with constant M. Let f R, x and > 0 be such that Nfx/M and denote by the set Then = { y : Nfy }. Φ 1 M Nfx Φ 1 M N[f + ϕnf1 ]x + 1 M ϕn[f f + 1 ]x ϕ.. Potential Inequality for Absolute Values Let N be a kernel that satisfies the strong maximum principle. If both f and f belong to R, then a property similar to 1.1 holds for f see Lemma.1 bellow. First, notice that condition 1.1 is equivalent to.1 Nf + x Mu + N[f + 1 {Nf + u}]x. Indeed, the two conditions are equivalent for u > 0 since the right hand sides of 1.1 and.1 are equal because the sets {Nf > u} and {Nf + > u} are equal. Furthermore, the left hand sides are also equal on the set {Nf > 0} = {Nf + > 0}, while the inequalities 1.1 and.1 are trivially satisfied on the set {Nf 0} = {Nf + = 0} since the right hand sides are nonnegative. Finally, for u = 0 the condition.1 holds trivially since {Nf + 0} = and Nf + Nf +.
3 ON POTENTIAL INEQUALITY 109 get On the other hand, when.1 holds for every u 0, letting u ց 0 we Nfx Nf + x M 0 + N[f + 1 {Nf + >0}] N[f + 1 {Nf 0} ]. The following lemma was proven in [4]. Lemma.1. Let N be a positive kernel that satisfies the strong maximum principle on R. If f and f belong to R, then. Nf Mu + N [ f 1 { Nf u} ] holds for every u 0. get Proof. Since Nf = [N f] +, applying.1 for both f and f we Nfx = Nf + x + Nf x Mu + N[f + 1 {Nf + u}] + N[f 1 {Nf u}]. Finally, since f + f, f f and {Nf + u} {Nf u} = { Nf u}, the claim of the lemma follows from the last inequality. Theorem. The Potential Inequality for the Absolute Value of Functions. Let Φ : 0, + R be a convex function and let ϕ = Φ + be the right-continuous version of its derivative. Let Nx, dy be a positive kernel on which satisfies the strong maximum principle on R with constant M, let f, f R, x and > 0 be such that M Nfx and denote by the set = { y : Nfy }. Then the following inequality holds Φ 1 M Nfx Φ 1 M N[ f ϕ Nf 1 ]x 1 M ϕ N[ f 1 ]x Nfx Proof. Let τx = 1 M Nfx. Integration by parts gives Φτx Φ = τx ϕudu = uϕu = τϕτx ϕ = τx τx τx τx ϕ. udϕu u ± τxdϕu τx udϕu + ϕτx.
4 110 N. ELEZOVIĆ, J. PEČARIĆ AND M. PRALJAK Since dϕu is a positive measure and τx, using. we get Φτx Φ τx 1 M N[ f 1 { Nf u}]dϕu + ϕτx. Applying Fubini s theorem and the fact that f 1 { Nf u} is a nonnegative function, we further get τx N[ f 1 { Nf u} ] dϕu = τx = = fy 1 { Nfy u} Nx, dy dϕu [ ] τx 1 { Nfy u} dϕu fy Nx, dy [ ] + 1 { Nfy u} dϕu fy Nx, dy fy ϕ Nfy ϕ 1 ynx, dy = N[ f ϕ Nf 1 ]x ϕn[ f 1 ]x. Now the inequality from the theorem follows from the two inequalities above and linearity of potential. Let us further denote the set = lim ց0 = { x : Nfx 0 }. y integrating the potential inequality from Theorem. with respect to the variable x we can get the following, integral version of the inequality. Corollary.3. Let the assumptions of Theorem. hold for a function : 0, +, i. e. Mx Nfx for x. Then, for C and a measure µ on,, the following inequality holds Φ 1 C M Nfx Φx µdx 1 fy ϕ Nfy Nx, dyµdx M C x 1 ϕx N[ f 1 ]x Nfx µdx xϕxµdx. M C C
5 ON POTENTIAL INEQUALITY 111 In particular, for C = and a constant function x, if the measure µ is σ-finite, we get Φ 1 M Nfx µdx Φµ 1 fx ϕ Nfx M ˆN µdx + 1 M ϕ N[ f 1 ]x Nfx µdx ϕµ. Proof. Integrating the potential inequality with respect to the measure µ we get Φ 1 C M Nfx Φx µdx 1 N[ f ϕ Nf 1 x ]µdx M C 1 ϕx N[ f 1 ]x Nfx µdx xϕxµdx, M C which is the first inequality. The second inequality follows by taking C = and x and by applying Fubini s theorem on the first integral of the right-hand side. Let us denote by Φ p the following class of functions τ p pp 1, p 0, 1.3 Φ p τ = log τ, p = 0 τ log τ, p = 1 Corollary.4. Under the assumptions of Corollary.3, for p R\{0, 1} the following inequality holds 1 Nfx pp 1 p µdx Mp 1 fx Nfx p 1 p 1 ˆN µdx Mp 1 N[ f 1 ]x Nfx µdx Mp µ. p 1 p Furthermore, for q = p/p 1 the following inequality holds 1 pp 1 [ Nf p dµ Mp 1 f p d p 1 ˆN µ Mp 1 N[ f 1 ]x Nfx p 1 C p [ Nf p d ˆN µ µdx Mp µ p Proof. Applying the second inequality from Corollary.3 for convex functions Φ p, p R\{0, 1}, and rearranging we get the first inequality. The q.
6 11 N. ELEZOVIĆ, J. PEČARIĆ AND M. PRALJAK second inequality follows from the first by applying Hölder s inequality on the first integral of the right-hand side. Corollary.5. Under the assumptions of Theorem., if = and ϕ 0, then for every x the following inequality holds Φ 1 1 Nfx Φ N[ f ϕ Nf ]x ϕ. M M Furthermore, for a σ-finite measure µ on,, the following inequality holds Φ 1 Nfx µdx Φµ M 1 fx ϕ Nfx M ˆNµdx ϕµ. Proof. Under the assumptions of the corollary, the second term on the right hand side of the potential inequality from Theorem. is nonpositive, so the first inequality follows. The second inequality follows by integrating the first with respect to the measure µ over the set and applying Fubini s theorem on the right hand side integral. Corollary.6. Under the assumptions of Corollary.5, the following inequality holds for p > 1 Nfx p µdx pm p 1 fx Nfx p 1 ˆNµdx p 1M p µ. Furthermore, for q = p/p 1 the following inequality holds Nfx p µdx [ pm p 1 f p d ˆNµ p [ Nf p d ˆNµ q p 1M p µ. Proof. Applying Corollary.5 for convex functions Φ p, p > 1, and rearranging we get the first inequality. The second inequality follows from the first by applying Hölder s inequality on the right-hand side integral. If Theorem. or Corollary.5 hold for > 0, then they hold for every, 0 <. Letting 0 we can get further inequalities. In the following corollaries we will assume that either ϕ is nonnegative, or that for every x there exists a function g x L 1 Nx, such that
7 ON POTENTIAL INEQUALITY 113 fϕ Nf g x. In either case, by the monotone convergence theorem in the former and by the dominated convergence theorem in the latter, we have lim ց0 N[ f ϕ Nf 1 ] = N[ f ϕ Nf 1 ] since f ϕ Nf 1 0 f ϕ Nf 1 pointwise. Corollary.7. Under the assumptions of Theorem., if ϕ0+ is finite, then for every x we have.4 Φ 1 M Nfx Φ0+ 1 M N[ f ϕ Nf 1 ]x 1 M ϕ0+ N[ f 1 ]x Nfx Furthermore, if µ is a σ-finite measure on,, then the following inequality holds Φ 1 Nfx µdx Φ0+µ M 1 M fx ϕ Nfx ˆN µdx 1 M ϕ0+. N[ f 1 ]x Nfx µdx. Proof. Since lim 0 ϕ = 0 ϕ0+ = 0, letting 0 in the potential inequality from Theorem., the last term on the right hand side disappears and inequality.4 follows. The second inequality of the corollary follows by integrating the first with respect to the measure µ and applying Fubini s theorem on the first integral of the right hand side. Corollary.8. Under the assumptions of Corollary.7, for p > 1 the following inequality holds Nfx p µdx pm p 1 fx Nfx p 1 ˆNµdx. Furthermore, for q = p/p 1 the following inequality holds [ Nf p dµ pm p 1 f p d ˆNµ p [ Nf p d ˆNµ Proof. The first inequality holds since convex functions Φ p, p > 1, satisfy the assumptions of Corollary.7 with Φ p 0+ = ϕ p 0+ = 0. The second inequality follows from the first by applying Hölder s inequality on the righthand side integral. q.
8 114 N. ELEZOVIĆ, J. PEČARIĆ AND M. PRALJAK When one or both of the measures µ and ˆN C µ is bounded by the other up to a multiplicative constant, then we can state further inequalities. In that regard, let K 1 and K be positive constants, if they exist, such that.5 K 1 µ ˆN C µ and.6 ˆNC µ K µ. Corollary.9. Let the assumptions of Corollary.4 hold. If N and µ satisfy.6 with C =, then for p > 1 [ [ p q Nf p dµ pk M p 1 f p dµ Nf p dµ pm p 1 N[ f 1 ]x Nfx µdx p 1M p µ. When N and µ satisfy both.5 and.6 with C =, then for 0 < p < 1 [ [ p Nf p dµ pk 1/p 1 K 1/q M p 1 f p dµ pm p 1 Nf p dµ N[ f 1 ]x Nfx µdx p 1M p µ, while for p < 0 [ [ p Nf p dµ pk 1/q 1 K 1/p M p 1 f p dµ pm p 1 Nf p dµ N[ f 1 ]x Nfx µdx p 1M p µ. Proof. The inequalities follow directly from.5,.6 and Corollary.4. Corollary.10. Let the assumptions of Corollary.8 hold. If N and µ satisfy.6 with C =, then for p > 1 [ [ p p Nf p dµ pk M p 1 f p dµ and [ Nf p dµ p [ pk 1/q M p 1 f p d ˆNµ Proof. The inequalities follow directly from.6 and Corollary.8. p. q q
9 ON POTENTIAL INEQUALITY 115 Remark.11. Concave case: When Φ is concave, dϕu is a negative measure and the inequalities in Theorem., Corollaries.3 and.7 are reversed. The reversed inequality in Corollary.5 holds if ϕ Exponential Convexity Using the potential inequality from the previous section we will construct linear functionals that are nonnegative for convex functions. This will enable us to construct new families of exponentially convex functions by applying a method from []. Let us define linear functionals A 1 = A 1;f,N,,x and A = A ;f,n,,µ with A 1 Φ = 1 M N[ f ϕ Nf 1 ]x 1 M ϕ N[ f 1 ]x Nfx Φ 1 Nfx + Φ ϕ M A Φ = 1 fx ϕ Nfx M ˆN µdx 1 M ϕ N[ f 1 ]x Nfx µdx Φ 1 M Nfx µdx + Φµ ϕµ. Linear functionals A k, k = 1,, depend on function f, kernel N, measure µ and points x and, but if these choices are clear from context, we will omit them from the notation. Similarly, we define linear functionals A 3 = A 3;f,N,x and A 4 = A 4;f,N,µ with A 3 Φ = 1 M N[ f ϕ Nf 1 ]x 1 M ϕ0+ N[ f 1 ]x Nfx Φ 1 Nfx + Φ0+, M fx ϕ Nfx ˆN µdx M ϕ0+ N[ f ]x Nfx µdx Φ 1 Nfx µdx + Φ0+µ. M A 4 Φ = 1 M 1
10 116 N. ELEZOVIĆ, J. PEČARIĆ AND M. PRALJAK We will first give mean value theorems for the linear functionals A k, k = 1,..., 4. Theorem 3.1. Let k {1,..., 4} and let there exist a constant b such that Nfx b for every x. Furthermore, define the constant a as: i a = for k = 1 and k =, where > 0 is the number from the definition of the linear functionals A 1 and A, respectively ii a = 0 for k = 3 and k = 4. If Ψ C [a, b], then there exists ξ k [a, b] such that where Φ is given by.3. Proof. Let A k Ψ = Ψ ξ k A k Φ, m = min τ [a,b] Ψ τ and M = max τ [a,b] Ψ τ. The function MΦ Ψ is convex since d dτ M τ Ψτ = M Ψ τ 0. From the statement and proofs of the inequalities from Theorem. and Corollaries.3 and.7 it is clear that they are meaningful for convex functions defined on the interval [a, b]. Since, by the assumptions of the theorem, the convex function MΦ Ψ satisfies the assumptions of Theorem. for k = 1, Corollaries.3 for k = and.7 for k = 3 or 4 we have 0 A k MΦ Ψ, k = 1,..., 4, i. e. 3.1 A k Ψ MA k Φ, k = 1,..., 4. Similarly, the inequality 3. ma k Φ A k Ψ, k = 1,..., 4 holds since Ψ mφ is convex. Since Φ is a convex function we have A k Φ 0. If A k Φ = 0, then A k Ψ = 0 and for ξ k we can take any point in [a, b]. If A k Φ > 0, then from from 3.1 and 3. we conclude m A kψ A k Φ M, so the existence of ξ k, k = 1,..., 4, follows from continuity of Ψ.
11 ON POTENTIAL INEQUALITY 117 Theorem 3.. Let k {1,...4} and let N, f, a and b be as in Theorem 3.1. If Ψ, Ψ C [a, b] and A k Φ 0, then there exists ξ k [a, b] such that 3.3 Ψ ξ k Ψ ξ k = A kψ A k Ψ. Proof. Let us define the function φ by φτ = ΨτA k Ψ ΨτA k Ψ. The function φ satisfies the assumptions of Theorem 3.1 and, hence, there exists ξ k [a, b] such that A k φ = φ ξ k A k Φ. Since A k φ = 0 and A k Φ 0, it follows that 0 = φ ξ k = Ψ ξ k A k Ψ Ψ ξ k A k Ψ, so equality 3.3 follows. We will continue this section with few basic notions and results on exponential convexity that will be used here. Definition 3.3. A function ψ : I R is n-exponentially convex in the Jensen sense on I if n xi + x j ξ i ξ j ψ 0 i,j=1 holds for all choices ξ i R and x i I, i = 1,..., n. A function ψ : I R is n-exponentially convex if it is n-exponentially convex in the Jensen sense and continuous on I. Definition 3.4. A function ψ : I R is exponentially convex in the Jensen sense on I if it is n-exponentially convex in the Jensen sense for every n N. A function ψ : I R is exponentially convex if it is exponentially convex in the Jensen sense and continuous on I. Definition of positive semi-definite matrices and some basic algebra gives us the following proposition Proposition 3.5. If ψ is an n-exponentially convex in the Jensen sense [ ] k xi+x on I, then for every choice of x i I, i = 1,..., n, the matrix ψ j i,j=1 is a positive semi-definite matrix for all k N, k n. In particular, for all [ ] k xi+x k N, det ψ j 0 for all k n. i,j=1 Remark 3.6. It is known that ψ : I R is log-convex in the Jensen sense if and only if x + y α ψx + αβψ + β ψy 0 holds for every α, β R and x, y I. It follows that a function is log-convex in the Jensen sense if and only if it is -exponentially convex in the Jensen
12 118 N. ELEZOVIĆ, J. PEČARIĆ AND M. PRALJAK sense. Moreover, a function is log-convex if and only if it is -exponentially convex. We will also make use of the divided differences. Definition 3.7. The second order divided differences of a function Ψ : I R, where I is an interval in R, at mutually different points τ 0, τ 1, τ I is defined recursively by 3.4 [τ i, ; Ψ] = Ψτ i, i = 0, 1,, [τ i, τ i+1 ; Ψ] = Ψτ i+1 Ψτ i τ i+1 τ i, i = 0, 1, [τ 0, τ 1, τ ; Ψ] = [τ 1, τ ; Ψ] [τ 0, τ 1 ; Ψ] τ τ 0. Remark 3.8. The value [τ 0, τ 1, τ ; Ψ] is independent of the order of the points τ 0, τ 1, τ. This definition may be extended to include the case in which some or all of the points coincide by taking limits. If Ψ exists, then by taking the limit τ 1 τ 0 in 3.4 we get lim [τ 0, τ 1, τ ; Ψ] = [τ 0, τ 0, τ ; Ψ] = Ψτ Ψτ 0 Ψ τ 0 τ τ 0 τ 1 τ 0 τ τ 0, τ τ 0. Furthermore, if Ψ exists, then by taking the limits τ i τ 0, i = 1, in 3.4 we get lim lim [τ 0, τ 1, τ ; Ψ] = [τ 0, τ 0, τ 0 ; Ψ] = Ψ τ 0. τ τ 0 τ 1 τ 0 Notice that Ψ [τ 0, τ 1, τ ; Ψ] is a linear functional that is nonnegative for a convex function Ψ. The following theorem will enable us to construct families of n-exponentially and exponentially convex functions by applying the linear functionals A k on a family of functions with the same property. Theorem 3.9. Let Ω = {Ψ p : p J}, where J is an interval in R, be a family of functions Ψ p : 0, + R such that the function p [τ 0, τ 1, τ ; Ψ p ] is n-exponentially convex in the Jensen sense on J for every three mutually different points τ 0, τ 1, τ 0, +. Then: i for k = 1 or, the mapping p A k Ψ p is an n-exponentially convex function in the Jensen sense on J. If the function p A k Ψ p is continuous on J, then it is n-exponentially convex on J. ii if Ψ p 0+ is finite for every p J, then the same conclusions as in i hold for k = 3 and 4. Proof. For ξ i R and p i J, i = 1,..., n, we define the function n Ψτ = ξ i ξ j Ψ p i +p j τ. i,j=1
13 ON POTENTIAL INEQUALITY 119 Due to the linearity of the divided differences and the assumption that the function p [τ 0, τ 1, τ ; Ψ p ] is n-exponentially convex in the Jensen sense we have [τ 0, τ 1, τ ; Ψ] = n i,j=1 ξ i ξ j [τ 0, τ 1, τ ; Ψ p i +p j ] 0. This implies that Ψ is a convex functions and, due to the assumptions, it satisfies the assumptions of Theorem. for k = 1 or and Corollary.7 for k = 3 or 4. Hence, by the potential inequality, 0 A k Ψ = n i,j=1 ξ i ξ j A k Ψ pi +p j, k = 1,..., 4 so the function p A k Ψ p is n-exponentially convex in the Jensen sense on J. If it is also continuous on J, then it is n-exponentially convex by definition. Corollary Let Ω = {Ψ p : p J}, where J is an interval in R, be a family of functions Ψ p : 0, + R such that the function p [τ 0, τ 1, τ ; Ψ p ] is -exponentially convex in the Jensen sense on J for every three mutually different points τ 0, τ 1, τ 0, +. Then for k = 1 and k = the following statements hold: i If the function p A k Ψ p is continuous on J, then it is - exponentially convex and, thus, log-convex. ii If the function p A k Ψ p is strictly positive and differentiable on J, then for every p, q, r, s J, such that p r and q s, we have where 3.5 µ k p,qω = exp for Ψ p, Ψ q Ω. µ k p,qω µ k r,sω, Ak Ψ p A k Ψ q 1 p q d dp A kψ p A k Ψ p, p q, p = q If, additionally, Ψ p 0+ is finite for every p J, then statements i and ii hold for k = 3 and 4 as well. Proof. i This is an immediate consequence of Theorem 3.9 and Remark 3.6 ii y i, the function p A k Ψ p is log-convex on J, that is, the function p log A k Ψ p is convex. Therefore 3.6 log A k Ψ p log A k Ψ q p q log A kψ r log A k Ψ s r s
14 10 N. ELEZOVIĆ, J. PEČARIĆ AND M. PRALJAK for p r, q s, p r, q s, which implies that µ k p,q Ω µk r,s Ω, k = 1,..., 4. The cases p = r and q = s follow from 3.6 by taking limits p r or q s. Remark The results from Theorem 3.9 Corollary 3.10 still hold when two of the points τ 0, τ 1, τ 0, + coincide, say τ 0 = τ 1, for a family of differentiable functions Ψ p such that the function p [τ 0, τ 0, τ ; Ψ p ] is n-exponentially convex in the Jensen sense -exponentially convex in the Jensen sense and, furthermore, they still hold when all three points coincide for a family of twice differentiable functions with the same property. We will end this sections with several examples of families of functions that satisfy the assumptions of Theorem 3.9 and Corollary 3.10 and Remark 3.11, which, as a consequence, gives us large families of exponentially convex functions. Example 3.1. Consider a family of functions Ω k 1 = {Φ p : p J k }, where Φ p are the power functions defined by.3 and J 1 = J = R and J 3 = J 4 = 1, +. We have d dτ Φ p τ = τ p > 0 which shows that Φ p are convex on 0, +. Similarly as in the proof of Theorem 3.9, let us, for ξ i R and p i J k, i = 1,..., n, define the function Φτ = n i,j=1 ξ i ξ j Φ p i +p j τ. Since the function p d dτ Φ p τ = τ p = e p ln τ is exponentially convex by definition, it follows that Φ τ = n i,j=1 is a convex function. Therefore n ξ i ξ j Φ p i +p j τ = ξ i e pi ln τ 0 i=1 0 [τ 0, τ 1, τ ; Φ] = n i,j=1 ξ i ξ j [τ 0, τ 1, τ ; Φ p i +p j ], so p [τ 0, τ 1, τ ; Ψ p ] is n-exponentially convex in the Jensen sense. Now, by Theorem 3.9, it follows that the mappings p A k Φ p are exponentially convex in the Jensen sense. It is straightforward to check that these mappings are continuous, so they are exponentially convex.
15 ON POTENTIAL INEQUALITY 11 For these families of functions, µ k p,q Ωk 1 from 3.5, for k = 1 and k =, are equal to 1 Ak Φ p p q A k Φ q, p q µ k p,q Ωk 1 = exp 1 p pp 1 A kφ 0Φ p A k Φ p, p = q 0, 1 exp 1 A kφ 0Φ 1 A k Φ 1, p = q = 1 exp 1 A kφ 0 A k Φ 0, p = q = 0 while for k = 3 and k = 4 they have the same form, but are only defined for p, q > 1. Furthermore, if a linear functional A k and the functions Ψ = Φ p and Ψ = Φ q are such that the assumptions of Theorem 3. are satisfied, we can define a two-parameter family of means. Indeed, since Ψ/ Ψ 1 τ = τ 1/p q, the number E k p,qω k 1 = µ k p,qω k 1 satisfies 0 E k p,q Ωk 1 K. Example Let Ω = {Ψ p : p R} be a family of functions defined by { 1 Ψ p τ = p e px, p 0, 1 τ, p = 0. We have d dτ Ψ p τ = e pτ > 0 which shows that Ψ p are convex and p d dτ Ψ p τ is exponentially convex by definition. Arguing as in Example 3.1 we get that the mappings p A k Ψ p, k = 1,..., 4, are exponentially convex. In this case, the functions 3.5 are equal to 1 Ak Ψ p p q A k Ψ q, p q µ k p,q Ω = Ak id Ψ exp p A k Ψ p p, p = q 0 exp Ak id Ψ 0, p = q = 0, 3A k Ψ 0 where idτ = τ is the identity function. Again, if a linear functional A k and the functions Ψ = Ψ p and Ψ = Ψ q are such that the assumptions of Theorem 3. are satisfied, then, since Ψ/ Ψ 1 τ = lnτ/p q, we have so E k p,q Ω are means. 0 E k p,qω = ln µ k p,qω K, Example Consider a family of functions Ω 3 = {Ψ p : p 0, + } given by { p τ Ψ p τ = ln τ, p 1, 1 τ, p = 1.
16 1 N. ELEZOVIĆ, J. PEČARIĆ AND M. PRALJAK Since d dτ Ψ p τ = p τ is the Laplace transform of a nonnegative function see [5], it is exponentially convex. Arguing as in Example 3.1 we get that p A k Ψ p, k = 1,..., 4, are exponentially convex functions. For this family of functions, µ k p,qω 3 from 3.5 becomes Ak Ψ p A k Ψ q µ k p,qω 3 = exp exp 1 p q, p q A kid Ψ p pa k Ψ p p ln p A kid Ψ 1 3A k Ψ 1, p = q 1, p = q = 1. If the assumptions of Theorem 3. are satisfied for the linear functional A k and the functions Ψ = Ψ p and Ψ = Ψ q, then E k p,q Ω 3 = Lp, q ln µ k p,q Ω 3 satisfies 0 E k p,q Ω 3 K, i. e. E k p,q Ω 3 is a mean. Here, Lp, q is the logarithmic mean defined by Lp, q = p q/ln p ln q, p q, Lp, p = p. Example Consider a family of functions Ω 4 = {Ψ p : p 0, + } given by p Ψ p τ = e τ. p Since d dτ Ψ p τ = e τ p is the Laplace transform of a nonnegative function see [5], it is exponentially convex. Arguing as before, we get that p A k Ψ p, k = 1,..., 4, are exponentially convex functions. For this family of functions, µ k p,qω 4 from 3.5 becomes 1 Ak Ψ p p q µ k p,q Ω A 3 = k Ψ q, p q exp A kid Ψ p pa k Ψ 1 p p, p = q. If the assumptions of Theorem 3. are satisfied for the linear functional A k and the functions Ψ = Ψ p and Ψ = Ψ q, then E k p,q Ω 4 = p + q ln µ k p,q Ω 4 satisfies 0 E k p,qω 4 K, which shows that E k p,qω 4 is a mean. References [1] N. Eleović, J. Pečarić and M. Praljak, Potential inequality revisited, I: General case, Math. Inequal. Appl. 1 01, [] J. Pečarić and J. Perić, Improvements of the Giaccardi and the Petrović inequality and related Stolarsky type means, An. Univ. Craiova Ser. Mat. Inform , [3] M. Rao, rownian Motion and Classical Potential Theory, Lecture Notes Series No. 47, Aarhus University, [4] M. Rao and H. Šikić, Potential inequality, Israel J. Math , [5] J. L. Schiff, The Laplace transform. Theory and applications, Undergraduate Texts in Mathematics, Springer-Verlag, New York, 1999.
17 ON POTENTIAL INEQUALITY 13 O potencijalnoj nejednakosti a apsolutne vrijednosti funkcija Neven Eleović, Josip Pečarić i Marjan Praljak Sažetak. Potencijalna nejednakost ivedena je u [4] i kasnije proširena na opću klasu konveksnih i konkavnih funkcija u [1]. Glavni cilj ovog članka je ivesti potencijalnu nejednakost u slučaju kada funkciju u kojoj se računa potencijal amijenimo s apsolutnom vrijednošću te funkcije. Dobiveni reultati, ajedno s metodama i [], koriste se pri konstrukciji novih klasa eksponencijalno konveksnih funkcija. Neven Eleović Faculty of Electrical Engineering and Computing University of Zagreb Unska 3, Zagreb, Croatia neven.ele@fer.hr Josip Pečarić Faculty of Textile Technology University of Zagreb Prila baruna Filipovića 8a, Zagreb, Croatia pecaric@element.hr Marjan Praljak Faculty of Food Technology and iotechnology University of Zagreb Pierottijeva 6, Zagreb, Croatia mpraljak@pbf.hr Received:
18 14
POTENTIAL INEQUALITY WITH HILBERT TYPE KERNELS
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I. CUZA DIN IAŞI (S.N. MATEMATICĂ, Tomul LXII, 06, f. POTENTIAL INEQUALITY WITH HILBERT TYPE KERNELS BY NEVEN ELEZOVIĆ, JOSIP PEČARIĆ and MARJAN PRALJAK Abstract.
More informationImprovements of the Giaccardi and the Petrović inequality and related Stolarsky type means
Annals of the University of Craiova, Mathematics and Computer Science Series Volume 391, 01, Pages 65 75 ISSN: 13-6934 Improvements of the Giaccardi and the Petrović inequality and related Stolarsky type
More informationGENERALIZATIONS AND IMPROVEMENTS OF AN INEQUALITY OF HARDY-LITTLEWOOD-PÓLYA. Sadia Khalid and Josip Pečarić
RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 18 = 519 014: 73-89 GENERALIZATIONS AND IMPROVEMENTS OF AN INEQUALITY OF HARDY-LITTLEWOOD-PÓLYA Sadia Khalid and Josip Pečarić Abstract. Some generalizations of an inequality
More informationISSN X (print) ISSN (online)
Matematiqki ilten ISSN 035-336X rint 37LXIII No. ISSN 857-994 online 0383-00 UDC: 57.58.8:57.5 Skoje, Makedonija GENERALIZED POTENTIAL INEQUALITY AND EXPONENTIAL CONVEXITY NEVEN ELEZOVIĆ, JOSIP PEČARIĆ,
More informationand monotonicity property of these means is proved. The related mean value theorems of Cauchy type are also given.
Rad HAZU Volume 515 013, 1-10 ON LOGARITHMIC CONVEXITY FOR GIACCARDI S DIFFERENCE J PEČARIĆ AND ATIQ UR REHMAN Abstract In this paper, the Giaccardi s difference is considered in some special cases By
More informationGiaccardi s Inequality for Convex-Concave Antisymmetric Functions and Applications
Southeast Asian Bulletin of Mathematics 01) 36: 863 874 Southeast Asian Bulletin of Mathematics c SEAMS 01 Giaccardi s Inequality for Convex-Concave Antisymmetric Functions and Applications J Pečarić Abdus
More informationON ZIPF-MANDELBROT ENTROPY AND 3-CONVEX FUNCTIONS
Adv. Oper. Theory https://doi.org/0.535/aot.80-46 ISSN: 538-5X electronic https://projecteuclid.org/aot ON ZIPF-MANDELBROT ENTROPY AND 3-CONVEX FUNCTIONS SADIA KHALID, DILDA PEČARIĆ, and JOSIP PEČARIĆ3
More informationThis is a submission to one of journals of TMRG: BJMA/AFA EXTENSION OF THE REFINED JENSEN S OPERATOR INEQUALITY WITH CONDITION ON SPECTRA
This is a submission to one of journals of TMRG: BJMA/AFA EXTENSION OF THE REFINED JENSEN S OPERATOR INEQUALITY WITH CONDITION ON SPECTRA JADRANKA MIĆIĆ, JOSIP PEČARIĆ AND JURICA PERIĆ3 Abstract. We give
More informationBanach Journal of Mathematical Analysis ISSN: (electronic)
Banach J. Math. Anal. 4 (200), no., 59 69 Banach Journal of Mathematical Analysis ISSN: 735-8787 (electronic) www.emis.de/journals/bjma/ IMPROVEMENT OF JENSEN STEFFENSEN S INEQUALITY FOR SUPERQUADRATIC
More informationResearch Article Extension of Jensen s Inequality for Operators without Operator Convexity
Abstract and Applied Analysis Volume 2011, Article ID 358981, 14 pages doi:10.1155/2011/358981 Research Article Extension of Jensen s Inequality for Operators without Operator Convexity Jadranka Mićić,
More informationInequalities among quasi-arithmetic means for continuous field of operators
Filomat 26:5 202, 977 99 DOI 0.2298/FIL205977M Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Inequalities among quasi-arithmetic
More informationON SOME GENERALIZED NORM TRIANGLE INEQUALITIES. 1. Introduction In [3] Dragomir gave the following bounds for the norm of n. x j.
Rad HAZU Volume 515 (2013), 43-52 ON SOME GENERALIZED NORM TRIANGLE INEQUALITIES JOSIP PEČARIĆ AND RAJNA RAJIĆ Abstract. In this paper we characterize equality attainedness in some recently obtained generalized
More informationJENSEN S OPERATOR AND APPLICATIONS TO MEAN INEQUALITIES FOR OPERATORS IN HILBERT SPACE
JENSEN S OPERATOR AND APPLICATIONS TO MEAN INEQUALITIES FOR OPERATORS IN HILBERT SPACE MARIO KRNIĆ NEDA LOVRIČEVIĆ AND JOSIP PEČARIĆ Abstract. In this paper we consider Jensen s operator which includes
More informationA monotonic refinement of Levinson s inequality
Jakšetic et al. Journal of Inequalities and Applications (05) 05:6 DOI 0.86/s3660-05-068-8 RESEARCH Open Access A monotonic refinement of Levinson s inequality Julije Jakšetic, Josip Pec aric and Marjan
More informationON AN INEQUALITY OF V. CSISZÁR AND T.F. MÓRI FOR CONCAVE FUNCTIONS OF TWO VARIABLES
ON AN INEQUALITY OF V. CSISZÁR AND T.F. MÓRI FOR CONCAVE FUNCTIONS OF TWO VARIABLES BOŽIDAR IVANKOVIĆ Faculty of Transport and Traffic Engineering University of Zagreb, Vukelićeva 4 0000 Zagreb, Croatia
More informationIMPROVED ARITHMETIC-GEOMETRIC AND HEINZ MEANS INEQUALITIES FOR HILBERT SPACE OPERATORS
IMPROVED ARITHMETI-GEOMETRI AND HEINZ MEANS INEQUALITIES FOR HILBERT SPAE OPERATORS FUAD KITTANEH, MARIO KRNIĆ, NEDA LOVRIČEVIĆ, AND JOSIP PEČARIĆ Abstract. The main objective of this paper is an improvement
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationJensen s Operator and Applications to Mean Inequalities for Operators in Hilbert Space
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. 351 01 1 14 Jensen s Operator and Applications to Mean Inequalities for Operators in Hilbert
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationON LANDAU S THEOREMS. 1. Introduction E. Landau has proved the following theorems [11]:
GLASNIK MATEMATIČKI Vol. 39(59)(004), 57 64 ON LANDAU S THEOREMS Dragoslav S. Mitrinović, Josip E. Pečarić and Hrvoje Kraljević University of Belgrade, Yugoslavia and University of Zagreb, Croatia Abstract.
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics INEQUALITIES FOR GENERAL INTEGRAL MEANS GHEORGHE TOADER AND JOZSEF SÁNDOR Department of Mathematics Technical University Cluj-Napoca, Romania. EMail:
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics THE EXTENSION OF MAJORIZATION INEQUALITIES WITHIN THE FRAMEWORK OF RELATIVE CONVEXITY CONSTANTIN P. NICULESCU AND FLORIN POPOVICI University of Craiova
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationResearch Article Refinements of the Lower Bounds of the Jensen Functional
Abstract and Applied Analysis Volume 20, Article ID 92439, 3 pages doi:0.55/20/92439 Research Article Refinements of the Lower Bounds of the Jensen Functional Iva Franjić, Sadia Khalid, 2 and Josip Pečarić
More informationON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES
Vasile Alecsandri University of Bacău Faculty of Sciences Scientific Studies and Research Series Mathematics and Informatics Vol. 27207), No., 49-60 ON A MAXIMAL OPRATOR IN RARRANGMNT INVARIANT BANACH
More informationON QUALITATIVE PROPERTIES OF SOLUTIONS OF QUASILINEAR ELLIPTIC EQUATIONS WITH STRONG DEPENDENCE ON THE GRADIENT
GLASNIK MATEMATIČKI Vol. 49(69)(2014), 369 375 ON QUALITATIVE PROPERTIES OF SOLUTIONS OF QUASILINEAR ELLIPTIC EQUATIONS WITH STRONG DEPENDENCE ON THE GRADIENT Jadranka Kraljević University of Zagreb, Croatia
More informationResearch Article On Some Improvements of the Jensen Inequality with Some Applications
Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2009, Article ID 323615, 15 pages doi:10.1155/2009/323615 Research Article On Some Improvements of the Jensen Inequality with
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationIMPROVEMENTS OF COMPOSITION RULE FOR THE CANAVATI FRACTIONAL DERIVATIVES AND APPLICATIONS TO OPIAL-TYPE INEQUALITIES
Dynamic Systems and Applications ( 383-394 IMPROVEMENTS OF COMPOSITION RULE FOR THE CANAVATI FRACTIONAL DERIVATIVES AND APPLICATIONS TO OPIAL-TYPE INEQUALITIES M ANDRIĆ, J PEČARIĆ, AND I PERIĆ Faculty
More informationx log x, which is strictly convex, and use Jensen s Inequality:
2. Information measures: mutual information 2.1 Divergence: main inequality Theorem 2.1 (Information Inequality). D(P Q) 0 ; D(P Q) = 0 iff P = Q Proof. Let ϕ(x) x log x, which is strictly convex, and
More informationCyclic Refinements of the Different Versions of Operator Jensen's Inequality
Electronic Journal of Linear Algebra Volume 31 Volume 31: 2016 Article 11 2016 Cyclic Refinements of the Different Versions of Operator Jensen's Inequality Laszlo Horvath University of Pannonia, Egyetem
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
More informationSPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69, 1 (2017), 23 38 March 2017 research paper originalni nauqni rad FIXED POINT RESULTS FOR (ϕ, ψ)-contractions IN METRIC SPACES ENDOWED WITH A GRAPH AND APPLICATIONS
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 informationOn some shift invariant integral operators, univariate case
ANNALES POLONICI MATHEMATICI LXI.3 1995) On some shift invariant integral operators, univariate case by George A. Anastassiou Memphis, Tenn.) and Heinz H. Gonska Duisburg) Abstract. In recent papers the
More informationA Functional Equation with Conjugate Means Derived from a Weighted Arithmetic Mean ABSTRACT 1. INTRODUCTION
Malaysian Journal of Mathematical Sciences 9(1): 21-31 (2015) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES Journal homepage: http://einspem.upm.edu.my/journal A Functional Equation with Conjugate Means Derived
More informationY. J. Cho, M. Matić and J. Pečarić
Commun. Korean Math. Soc. 17 (2002), No. 4, pp. 583 592 INEQUALITIES OF HLAWKA S TYPE IN n-inner PRODUCT SPACES Y. J. Cho, M. Matić and J. Pečarić Abstract. In this paper, we give Hlawka s type inequalities
More information2a Large deviation principle (LDP) b Contraction principle c Change of measure... 10
Tel Aviv University, 2007 Large deviations 5 2 Basic notions 2a Large deviation principle LDP......... 5 2b Contraction principle................ 9 2c Change of measure................. 10 The formalism
More informationNON-EXTINCTION OF SOLUTIONS TO A FAST DIFFUSION SYSTEM WITH NONLOCAL SOURCES
Electronic Journal of Differential Equations, Vol. 2016 (2016, No. 45, pp. 1 5. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu NON-EXTINCTION OF
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationIf Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.
20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this
More informationApplications of the Maximum Principle
Jim Lambers MAT 606 Spring Semester 2015-16 Lecture 26 Notes These notes correspond to Sections 7.4-7.6 in the text. Applications of the Maximum Principle The maximum principle for Laplace s equation is
More informationHalf convex functions
Pavić Journal of Inequalities and Applications 2014, 2014:13 R E S E A R C H Open Access Half convex functions Zlatko Pavić * * Correspondence: Zlatko.Pavic@sfsb.hr Mechanical Engineering Faculty in Slavonski
More informationGeneralized Orlicz spaces and Wasserstein distances for convex concave scale functions
Bull. Sci. math. 135 (2011 795 802 www.elsevier.com/locate/bulsci Generalized Orlicz spaces and Wasserstein distances for convex concave scale functions Karl-Theodor Sturm Institut für Angewandte Mathematik,
More informationThe local equicontinuity of a maximal monotone operator
arxiv:1410.3328v2 [math.fa] 3 Nov 2014 The local equicontinuity of a maximal monotone operator M.D. Voisei Abstract The local equicontinuity of an operator T : X X with proper Fitzpatrick function ϕ T
More informationRepresentation of the polar cone of convex functions and applications
Representation of the polar cone of convex functions and applications G. Carlier, T. Lachand-Robert October 23, 2006 version 2.1 Abstract Using a result of Y. Brenier [1], we give a representation of the
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationSolutions to Tutorial 11 (Week 12)
THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More informationLecture 3: Expected Value. These integrals are taken over all of Ω. If we wish to integrate over a measurable subset A Ω, we will write
Lecture 3: Expected Value 1.) Definitions. If X 0 is a random variable on (Ω, F, P), then we define its expected value to be EX = XdP. Notice that this quantity may be. For general X, we say that EX exists
More informationStatic Problem Set 2 Solutions
Static Problem Set Solutions Jonathan Kreamer July, 0 Question (i) Let g, h be two concave functions. Is f = g + h a concave function? Prove it. Yes. Proof: Consider any two points x, x and α [0, ]. Let
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationAnn. Funct. Anal. 1 (2010), no. 1, A nnals of F unctional A nalysis ISSN: (electronic) URL:
Ann. Funct. Anal. (00), no., 44 50 A nnals of F unctional A nalysis ISSN: 008-875 (electronic) URL: www.emis.de/journals/afa/ A FIXED POINT APPROACH TO THE STABILITY OF ϕ-morphisms ON HILBERT C -MODULES
More informationarxiv:math/ v1 [math.co] 6 Dec 2005
arxiv:math/05111v1 [math.co] Dec 005 Unimodality and convexity of f-vectors of polytopes Axel Werner December, 005 Abstract We consider unimodality and related properties of f-vectors of polytopes in various
More informationINEQUALITIES OF THE HILBERT TYPE IN R n WITH NON-CONJUGATE EXPONENTS
Proceedings of the Edinburgh Mathematical Society (2008) 5, 26 c DOI:0.07/S0030950500690 Printed in the United Kingdom INEQUALITIES OF THE HILBERT TYPE IN WITH NON-CONJUGATE EXPONENTS ALEKSANDRA ČIŽMEŠIJA,
More informationABELIAN SELF-COMMUTATORS IN FINITE FACTORS
ABELIAN SELF-COMMUTATORS IN FINITE FACTORS GABRIEL NAGY Abstract. An abelian self-commutator in a C*-algebra A is an element of the form A = X X XX, with X A, such that X X and XX commute. It is shown
More informationSOLUTION OF THE DIRICHLET PROBLEM WITH L p BOUNDARY CONDITION. Dagmar Medková
29 Kragujevac J. Math. 31 (2008) 29 42. SOLUTION OF THE DIRICHLET PROBLEM WITH L p BOUNDARY CONDITION Dagmar Medková Czech Technical University, Faculty of Mechanical Engineering, Department of Technical
More information2. reverse inequalities via specht ratio To study the Golden-Thompson inequality, Ando-Hiai in [1] developed the following log-majorizationes:
ON REVERSES OF THE GOLDEN-THOMPSON TYPE INEQUALITIES MOHAMMAD BAGHER GHAEMI, VENUS KALEIBARY AND SHIGERU FURUICHI arxiv:1708.05951v1 [math.fa] 20 Aug 2017 Abstract. In this paper we present some reverses
More informationMATH 217A HOMEWORK. P (A i A j ). First, the basis case. We make a union disjoint as follows: P (A B) = P (A) + P (A c B)
MATH 217A HOMEWOK EIN PEASE 1. (Chap. 1, Problem 2. (a Let (, Σ, P be a probability space and {A i, 1 i n} Σ, n 2. Prove that P A i n P (A i P (A i A j + P (A i A j A k... + ( 1 n 1 P A i n P (A i P (A
More informationA note on the convex infimum convolution inequality
A note on the convex infimum convolution inequality Naomi Feldheim, Arnaud Marsiglietti, Piotr Nayar, Jing Wang Abstract We characterize the symmetric measures which satisfy the one dimensional convex
More informationExercises Measure Theoretic Probability
Exercises Measure Theoretic Probability 2002-2003 Week 1 1. Prove the folloing statements. (a) The intersection of an arbitrary family of d-systems is again a d- system. (b) The intersection of an arbitrary
More informationON THE HÖLDER CONTINUITY OF MATRIX FUNCTIONS FOR NORMAL MATRICES
Volume 10 (2009), Issue 4, Article 91, 5 pp. ON THE HÖLDER CONTINUITY O MATRIX UNCTIONS OR NORMAL MATRICES THOMAS P. WIHLER MATHEMATICS INSTITUTE UNIVERSITY O BERN SIDLERSTRASSE 5, CH-3012 BERN SWITZERLAND.
More informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationX n D X lim n F n (x) = F (x) for all x C F. lim n F n(u) = F (u) for all u C F. (2)
14:17 11/16/2 TOPIC. Convergence in distribution and related notions. This section studies the notion of the so-called convergence in distribution of real random variables. This is the kind of convergence
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationConvergent Iterative Algorithms in the 2-inner Product Space R n
Int. J. Open Problems Compt. Math., Vol. 6, No. 4, December 2013 ISSN 1998-6262; Copyright c ICSRS Publication, 2013 www.i-csrs.org Convergent Iterative Algorithms in the 2-inner Product Space R n Iqbal
More informationBEST APPROXIMATIONS AND ORTHOGONALITIES IN 2k-INNER PRODUCT SPACES. Seong Sik Kim* and Mircea Crâşmăreanu. 1. Introduction
Bull Korean Math Soc 43 (2006), No 2, pp 377 387 BEST APPROXIMATIONS AND ORTHOGONALITIES IN -INNER PRODUCT SPACES Seong Sik Kim* and Mircea Crâşmăreanu Abstract In this paper, some characterizations of
More informationRegularity for the optimal transportation problem with Euclidean distance squared cost on the embedded sphere
Regularity for the optimal transportation problem with Euclidean distance squared cost on the embedded sphere Jun Kitagawa and Micah Warren January 6, 011 Abstract We give a sufficient condition on initial
More informationWHEN LAGRANGEAN AND QUASI-ARITHMETIC MEANS COINCIDE
Volume 8 (007, Issue 3, Article 71, 5 pp. WHEN LAGRANGEAN AND QUASI-ARITHMETIC MEANS COINCIDE JUSTYNA JARCZYK FACULTY OF MATHEMATICS, COMPUTER SCIENCE AND ECONOMETRICS, UNIVERSITY OF ZIELONA GÓRA SZAFRANA
More informationA CLASS OF SCHUR MULTIPLIERS ON SOME QUASI-BANACH SPACES OF INFINITE MATRICES
A CLASS OF SCHUR MULTIPLIERS ON SOME QUASI-BANACH SPACES OF INFINITE MATRICES NICOLAE POPA Abstract In this paper we characterize the Schur multipliers of scalar type (see definition below) acting on scattered
More information7 Convergence in R d and in Metric Spaces
STA 711: Probability & Measure Theory Robert L. Wolpert 7 Convergence in R d and in Metric Spaces A sequence of elements a n of R d converges to a limit a if and only if, for each ǫ > 0, the sequence a
More informationA LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.
A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion
More informationMatrix concentration inequalities
ELE 538B: Mathematics of High-Dimensional Data Matrix concentration inequalities Yuxin Chen Princeton University, Fall 2018 Recap: matrix Bernstein inequality Consider a sequence of independent random
More informationMath 172 Problem Set 5 Solutions
Math 172 Problem Set 5 Solutions 2.4 Let E = {(t, x : < x b, x t b}. To prove integrability of g, first observe that b b b f(t b b g(x dx = dt t dx f(t t dtdx. x Next note that f(t/t χ E is a measurable
More informationW. Lenski and B. Szal ON POINTWISE APPROXIMATION OF FUNCTIONS BY SOME MATRIX MEANS OF CONJUGATE FOURIER SERIES
F A S C I C U L I M A T H E M A T I C I Nr 55 5 DOI:.55/fascmath-5-7 W. Lenski and B. Szal ON POINTWISE APPROXIMATION OF FUNCTIONS BY SOME MATRIX MEANS OF CONJUGATE FOURIER SERIES Abstract. The results
More informationMAXIMAL COUPLING OF EUCLIDEAN BROWNIAN MOTIONS
MAXIMAL COUPLING OF EUCLIDEAN BOWNIAN MOTIONS ELTON P. HSU AND KAL-THEODO STUM ABSTACT. We prove that the mirror coupling is the unique maximal Markovian coupling of two Euclidean Brownian motions starting
More informationON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM. Paweł Goncerz
Opuscula Mathematica Vol. 32 No. 3 2012 http://dx.doi.org/10.7494/opmath.2012.32.3.473 ON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM Paweł Goncerz Abstract. We consider a quasilinear
More informationSCHUR-CONVEXITY AND SCHUR-GEOMETRICALLY CONCAVITY OF GINI MEAN
SCHUR-CONVEXITY AND SCHUR-GEOMETRICALLY CONCAVITY OF GINI MEAN HUAN-NAN SHI Abstract. The monotonicity and the Schur-convexity with parameters s, t) in R 2 for fixed x, y) and the Schur-convexity and the
More informationGENERALIZED POPOVICIU FUNCTIONAL EQUATIONS IN BANACH MODULES OVER A C ALGEBRA AND APPROXIMATE ALGEBRA HOMOMORPHISMS. Chun Gil Park
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 3 (003), 183 193 GENERALIZED POPOVICIU FUNCTIONAL EQUATIONS IN BANACH MODULES OVER A C ALGEBRA AND APPROXIMATE ALGEBRA HOMOMORPHISMS Chun Gil Park (Received March
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationUNIFORM BOUNDS FOR BESSEL FUNCTIONS
Journal of Applied Analysis Vol. 1, No. 1 (006), pp. 83 91 UNIFORM BOUNDS FOR BESSEL FUNCTIONS I. KRASIKOV Received October 8, 001 and, in revised form, July 6, 004 Abstract. For ν > 1/ and x real we shall
More informationarxiv: v1 [math.ca] 25 Jan 2011
AN INEQUALITY INVOLVING THE GAMMA AND DIGAMMA FUNCTIONS arxiv:04698v mathca] 25 Jan 20 FENG QI AND BAI-NI GUO Abstract In the paper, we establish an inequality involving the gamma and digamma functions
More informationSTRUCTURE OF (w 1, w 2 )-TEMPERED ULTRADISTRIBUTION USING SHORT-TIME FOURIER TRANSFORM
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (154 164) 154 STRUCTURE OF (w 1, w 2 )-TEMPERED ULTRADISTRIBUTION USING SHORT-TIME FOURIER TRANSFORM Hamed M. Obiedat Ibraheem Abu-falahah Department
More informationJENSEN S OPERATOR INEQUALITY AND ITS CONVERSES
MAH. SCAND. 100 (007, 61 73 JENSEN S OPERAOR INEQUALIY AND IS CONVERSES FRANK HANSEN, JOSIP PEČARIĆ and IVAN PERIĆ (Dedicated to the memory of Gert K. Pedersen Abstract We give a general formulation of
More informationP -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS. Tomislav Pejković
RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 20 = 528 2016): 9-18 P -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS Tomislav Pejković Abstract. We study p-adic root separation for quadratic and cubic
More informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
More informationConvex Analysis and Economic Theory AY Elementary properties of convex functions
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory AY 2018 2019 Topic 6: Convex functions I 6.1 Elementary properties of convex functions We may occasionally
More informationInequalities for Convex and Non-Convex Functions
pplied Mathematical Sciences, Vol. 8, 204, no. 9, 5923-593 HIKRI Ltd, www.m-hikari.com http://dx.doi.org/0.2988/ams.204.4860 Inequalities for Convex and Non-Convex Functions Zlatko Pavić Mechanical Engineering
More informationTHE SEMI ORLICZ SPACE cs d 1
Kragujevac Journal of Mathematics Volume 36 Number 2 (2012), Pages 269 276. THE SEMI ORLICZ SPACE cs d 1 N. SUBRAMANIAN 1, B. C. TRIPATHY 2, AND C. MURUGESAN 3 Abstract. Let Γ denote the space of all entire
More informationON THE COMPLEX MONGEAMP RE OPERATOR IN UNBOUNDED DOMAINS
doi: 10.4467/20843828AM.17.001.7077 UNIVERSITATIS IAGEONICAE ACTA MATHEMATICA 54(2017), 713 ON THE COMPEX MONGEAMP RE OPERATOR IN UNBOUNDED DOMAINS by Per Ahag and Rafa l Czy z Abstract. In this note we
More informationL p -convergence of Bernstein Kantorovich-type operators. by Michele Campiti (Bari) and Giorgio Metafune (Lecce)
ANNALES POLONICI MATHEMATICI LXIII.3 (996) L p -convergence of Bernstein Kantorovich-type operators by Michele Campiti (Bari) and Giorgio Metafune (Lecce) Abstract. We study a Kantorovich-type modification
More informationarxiv:math/ v1 [math.st] 19 Jan 2005
ON A DIFFERENCE OF JENSEN INEQUALITY AND ITS APPLICATIONS TO MEAN DIVERGENCE MEASURES INDER JEET TANEJA arxiv:math/05030v [math.st] 9 Jan 005 Let Abstract. In this paper we have considered a difference
More informationBanach Algebras of Matrix Transformations Between Spaces of Strongly Bounded and Summable Sequences
Advances in Dynamical Systems and Applications ISSN 0973-532, Volume 6, Number, pp. 9 09 20 http://campus.mst.edu/adsa Banach Algebras of Matrix Transformations Between Spaces of Strongly Bounded and Summable
More informationDefinability in the Enumeration Degrees
Definability in the Enumeration Degrees Theodore A. Slaman W. Hugh Woodin Abstract We prove that every countable relation on the enumeration degrees, E, is uniformly definable from parameters in E. Consequently,
More informationProblem set 4, Real Analysis I, Spring, 2015.
Problem set 4, Real Analysis I, Spring, 215. (18) Let f be a measurable finite-valued function on [, 1], and suppose f(x) f(y) is integrable on [, 1] [, 1]. Show that f is integrable on [, 1]. [Hint: Show
More information