Some Inequalities for p-geominimal Surface Area and Related Results



From this document you will learn the answers to the following questions:

What is the Theorem?

What does the ad oly do to K ad L?

What area does the Bru - Mikowski type iequalities of?

Similar documents
Convexity, Inequalities, and Norms

Lecture 13. Lecturer: Jonathan Kelner Scribe: Jonathan Pines (2009)

Lecture 5: Span, linear independence, bases, and dimension

A probabilistic proof of a binomial identity

Rényi Divergence and L p -affine surface area for convex bodies

Properties of MLE: consistency, asymptotic normality. Fisher information.

In nite Sequences. Dr. Philippe B. Laval Kennesaw State University. October 9, 2008

Asymptotic Growth of Functions

Theorems About Power Series

I. Chi-squared Distributions

1. MATHEMATICAL INDUCTION

SAMPLE QUESTIONS FOR FINAL EXAM. (1) (2) (3) (4) Find the following using the definition of the Riemann integral: (2x + 1)dx

PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY AN ALTERNATIVE MODEL FOR BONUS-MALUS SYSTEM

Entropy of bi-capacities

Inequalities for the surface area of projections of convex bodies

Metric, Normed, and Topological Spaces

FIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. 1. Powers of a matrix

Overview of some probability distributions.

Infinite Sequences and Series

Chapter 5: Inner Product Spaces

Lecture 4: Cheeger s Inequality

Class Meeting # 16: The Fourier Transform on R n

Ekkehart Schlicht: Economic Surplus and Derived Demand

Convex Bodies of Minimal Volume, Surface Area and Mean Width with Respect to Thin Shells

Department of Computer Science, University of Otago

THE ABRACADABRA PROBLEM


CS103X: Discrete Structures Homework 4 Solutions

THIN SEQUENCES AND THE GRAM MATRIX PAMELA GORKIN, JOHN E. MCCARTHY, SANDRA POTT, AND BRETT D. WICK

Irreducible polynomials with consecutive zero coefficients

Vladimir N. Burkov, Dmitri A. Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT

A note on the boundary behavior for a modified Green function in the upper-half space

Lecture 4: Cauchy sequences, Bolzano-Weierstrass, and the Squeeze theorem

1 Computing the Standard Deviation of Sample Means

Section 11.3: The Integral Test

A Note on Sums of Greatest (Least) Prime Factors

4.3. The Integral and Comparison Tests

ON AN INTEGRAL OPERATOR WHICH PRESERVE THE UNIVALENCE

Degree of Approximation of Continuous Functions by (E, q) (C, δ) Means

SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES

Sequences and Series

Chapter 6: Variance, the law of large numbers and the Monte-Carlo method

Annuities Under Random Rates of Interest II By Abraham Zaks. Technion I.I.T. Haifa ISRAEL and Haifa University Haifa ISRAEL.

On the L p -conjecture for locally compact groups

Example 2 Find the square root of 0. The only square root of 0 is 0 (since 0 is not positive or negative, so those choices don t exist here).

A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length

Modified Line Search Method for Global Optimization

Our aim is to show that under reasonable assumptions a given 2π-periodic function f can be represented as convergent series

Trigonometric Form of a Complex Number. The Complex Plane. axis. ( 2, 1) or 2 i FIGURE The absolute value of the complex number z a bi is

Chapter 7 Methods of Finding Estimators

MARTINGALES AND A BASIC APPLICATION


Plug-in martingales for testing exchangeability on-line

CME 302: NUMERICAL LINEAR ALGEBRA FALL 2005/06 LECTURE 8

3. Greatest Common Divisor - Least Common Multiple

CS103A Handout 23 Winter 2002 February 22, 2002 Solving Recurrence Relations

A sharp Trudinger-Moser type inequality for unbounded domains in R n

ON THE DENSE TRAJECTORY OF LASOTA EQUATION

The analysis of the Cournot oligopoly model considering the subjective motive in the strategy selection

University of California, Los Angeles Department of Statistics. Distributions related to the normal distribution

PART TWO. Measure, Integration, and Differentiation

Data Analysis and Statistical Behaviors of Stock Market Fluctuations

3 Basic Definitions of Probability Theory

Approximating Area under a curve with rectangles. To find the area under a curve we approximate the area using rectangles and then use limits to find

Chapter 14 Nonparametric Statistics

Decomposition of Gini and the generalized entropy inequality measures. Abstract

INFINITE SERIES KEITH CONRAD

On Formula to Compute Primes. and the n th Prime

Building Blocks Problem Related to Harmonic Series

Installment Joint Life Insurance Actuarial Models with the Stochastic Interest Rate

BENEFIT-COST ANALYSIS Financial and Economic Appraisal using Spreadsheets

. P. 4.3 Basic feasible solutions and vertices of polyhedra. x 1. x 2

1 Correlation and Regression Analysis

A Recursive Formula for Moments of a Binomial Distribution

THE LEAST COMMON MULTIPLE OF A QUADRATIC SEQUENCE

Permutations, the Parity Theorem, and Determinants

THE REGRESSION MODEL IN MATRIX FORM. For simple linear regression, meaning one predictor, the model is. for i = 1, 2, 3,, n

WHEN IS THE (CO)SINE OF A RATIONAL ANGLE EQUAL TO A RATIONAL NUMBER?

Incremental calculation of weighted mean and variance

UC Berkeley Department of Electrical Engineering and Computer Science. EE 126: Probablity and Random Processes. Solutions 9 Spring 2006

Probabilistic Engineering Mechanics. Do Rosenblatt and Nataf isoprobabilistic transformations really differ?

Maximum Likelihood Estimators.

Definition. A variable X that takes on values X 1, X 2, X 3,...X k with respective frequencies f 1, f 2, f 3,...f k has mean

Your organization has a Class B IP address of Before you implement subnetting, the Network ID and Host ID are divided as follows:

Factors of sums of powers of binomial coefficients

Analysis Notes (only a draft, and the first one!)

Partial Di erential Equations

ON THE EDGE-BANDWIDTH OF GRAPH PRODUCTS

The Gompertz Makeham coupling as a Dynamic Life Table. Abraham Zaks. Technion I.I.T. Haifa ISRAEL. Abstract

Ramsey-type theorems with forbidden subgraphs

Present Values, Investment Returns and Discount Rates

Subject CT5 Contingencies Core Technical Syllabus

Project Deliverables. CS 361, Lecture 28. Outline. Project Deliverables. Administrative. Project Comments

How To Solve An Old Japanese Geometry Problem

Taking DCOP to the Real World: Efficient Complete Solutions for Distributed Multi-Event Scheduling

Systems Design Project: Indoor Location of Wireless Devices

Lecture 3. denote the orthogonal complement of S k. Then. 1 x S k. n. 2 x T Ax = ( ) λ x. with x = 1, we have. i = λ k x 2 = λ k.

Sampling Distribution And Central Limit Theorem

Normal Distribution.

Bond Valuation I. What is a bond? Cash Flows of A Typical Bond. Bond Valuation. Coupon Rate and Current Yield. Cash Flows of A Typical Bond

Transcription:

IAENG Iteratioal Joural of Applied Mathematics, 46:1, IJAM_46_1_14 Some Iequalities for p-geomiimal Surface Area ad Related Results Togyi Ma, Yibi Feg Abstract The cocepts of p-affie ad p-geomiimal surface areas were itroduced by Lutwak I this paper, we establish some Bru-Mikowski type iequalities of p-geomiimal surface area combiig L p-polar curvature image with various combiatios of covex bodies Moreover, we discuss the equivalece of several iequalities, ad also obtai some results similar to p-geomiimal surface area for the p-affie surface area Idex Terms covex bodies, p-affie surface area, p- geomiimal surface area, Bru-Mikowski type iequality I INTRODUCTION LET K deote the set of covex bodies compact, covex subsets with oempty iteriors) i -dimesioal Euclidea space R For the set of covex bodies cotaiig the origi i their iteriors, the set of covex bodies whose cetroids lie at the origi ad the set of origi-symmetric covex bodies i R, we write Ko, Ke ad Kc, respectively So ad Sc respectively deote the set of star bodies about the origi) ad the set of origi-symmetric star bodies i R Let S 1 deote the uit sphere i R, ad let VK) deote the -dimesioal volume of a bodyk For the stadard uit ball B i R, we use ω = VB ) to deote its volume The study of affie surface area goes back to Blaschke [1] ad is about oe hudred years old It was geeralized to the p-affie surface area by Lutwak i [10] Sice the, cosiderable attetio has bee paid to the p-affie surface area, which is ow at the core of the rapidly developig L p - Bru-Mikowski theorysee articles [4], [5], [6], [8], [11], [1], [13], [14], [17], [19], [4], [8] or books [7], []) I particular, affie isoperimetric iequalities related to the p-affie surface area ca be foud i [10], [9] Aother fudametal cocept i covex geometry is geomiimal surface area, itroduced by Petty [19] more tha three decades ago As Petty explaied i [19], the geomiimal surface area coects the affie geometry, relative geometry ad Mikowski geometry Hece it receives a lot of attetio see [19], [0], [3]) The geomiimal surface area was exteded to p-geomiimal surface area by Lutwak i his semial paper [10] The p-geomiimal surface area shares may properties with the p-affie surface area For istace, both are affie ivariat ad have the same degree of homogeeity However, the p-geomiimal surface area is differet from the p-affie surface area For istace, ulike the p-affie surface area, p-geomiimal surface area has o Mauscript received Jue 6, 015; revised October 15, 015 This work was supported by the Natioal Natural Sciece Foudatio of Chia uder Grat 1156100 ad 113714, ad was supported by the Sciece ad Techology Pla of the Gasu Provice uder Grat 145RJZG7 T Y Ma is with the College of Mathematics ad Statistics, Hexi Uiversity, Zhagye, 734000, Chia e-mail: matogyi@16com Y B Feg is the College of Mathematics ad Statistics, Hexi Uiversity, Zhagye, 734000, Chia e-mail: fegyibi001@163com ice itegral expressio This leads to a big obstacle o extedig the p-geomiimal surface area There are may papers o p-affie ad p-geomiimal surface areas, see eg, [16], [18], [5], [6], [7], [8], [9], [30], [3] Based o the otio of L p -mixed volume, Lutwak itroduced the cocepts of p-affie ad p-geomiimal surface areas, respectively For p 1 ad K K o, the p-affie surface area, Ω pk), was defied i [10] by p Ωp K) +p = if{v p K,Q )VQ) p : Q S o } Here V p K,Q ) deotes the L p -mixed volume of K ad Q see Sectio II A) ad Q deotes the polar of body Q see Sectio II C) For p 1, Lutwak i [10] defied the p-geomiimal surface area, K), of K K o by ω p K) = if{v p K,Q)VQ ) p : Q K o } 1) Further, Lutwak obtaied the followig iequalities for the p-affie ad the p-geomiimal surface areas Lemma 11 Theorem 48 i [10]) Let K K e ad p 1 The Ω p K) +p +p ω p VK) p, ) with equality if ad oly if K is a ellipsoid Lemma 1 Theorem 31 i [10]) Let K K o adp 1 The K) ω p VK) p, 3) with equality if ad oly if K is a ellipsoid Lemma 13 [10] p 50) Let K Fo ad p 1 The Ω p K) +p ω ) p K), 4) with equality if ad oly if K is of p-elliptic type A covex body K K o is said to have a L p-curvature fuctio see [10]) f p K, ) : S 1 R, if its L p -surface area measure S p K, ) is absolutely cotiuous with respect to spherical Lebesgue measure S, ad ds p K, ) = f p K, ) ds Let Fo,F c deote the set of all bodies i K o,k c respectively, ad both of them have a positive cotiuous curvature fuctio If K Sc, ad p 1, the defie Λ p K F c, the L p- polar curvature image of K, by f p Λ pk, ) = ω VK) ρk, )+p 5) Whe p = 1, we write Λ 1K = ΛK, it is just the classical curvature image see [1], [14]); Whe p > 1, it was defied by Yua, Zhu, Lv ad Leg see [15], [30], [31]) Advace olie publicatio: 15 February 016)

IAENG Iteratioal Joural of Applied Mathematics, 46:1, IJAM_46_1_14 The followig theorems are our mai results: Combiig L p -polar curvature image with p-geomiimal surface area, we establish several Bru-Mikowski type iequalities of the p-geomiimal surface area Theorem 14 If p 1,K,L Kc, ad λ,µ 0 ot both zero), the Λ p λ K + p µ L) ) λ Λ p K)+µΛ pl), 6) with equality for p = 1 if ad oly if K ad L are homothetic, ad for p > 1 if ad oly if K ad L are dilates Here, λ K + p µ L deotes the L p -Firey combiatio of K ad L see 10)) Theorem 15 If 1 p,k,l K c, ad λ,µ 0 ot both zero), the Λ p λk + p µl) ) λ Λ pk)+µ Λ pl) 7) The reverse iequality holds whe p > Equality holds i every iequality whe p if ad oly if K is a dilate of L Here, λk + p µl deotes the L p -radial combiatio of K ad L see 13)) Theorem 16 If p 1,K,L K c, ad λ,µ 0 ot both zero), the Λ p λ K + p µ L) ) 1 λgp Λ pk) 1 +µ Λ pl) 1, 8) with equality if ad oly if K ad L are dilates Here, λ K + p µ L deotes the L p -harmoic radial combiatio of K ad L see 16)) Theorem 17 If p 1,K,L F c, ad λ,µ 0 ot both zero), the λk + p µl ) λ K)+µ L), 9) with equality for p = 1 if ad oly if K ad L are homothetic, for p > 1 if ad oly if K ad L are dilates Here, λk + p µl deotes the Blaschke L p -combiatio of K ad L see 3)) Please see the ext sectio for above iterrelated otatios, defiitios ad their backgroud materials The proofs of Theorems 14-17 will be give i Sectio III of this paper Moreover, we derive the equivalece of several iequalities i Sectio IV II PRELIMINARIES A L p -Firey Combiatio ad L p -mixed Volume If K K, the its support fuctio, h K = hk, ) : R, ), is defied by see [])hk,x) = max{x y : y K}, x R, where x y deotes the stadard ier product of x ad y For real p 1,K,L Ko, ad α,β 0 ot both zero), the L p -Firey combiatio, α K + p β L, is defied by see []) K o hα K + p β L, ) p = αhk, ) p +βhl, ) p 10) For p 1, the L p -mixed volume, V p K,L), of K,L, was defied i [9] by p V VK + p ε L) VL) pk,l) = lim It was show i [9] that correspodig to each K Ko there is a positive Borel measure S p K, ) o S 1 such that V p K,Q) = 1 hq,u) p ds p K,u) S 1 for all Q K o It turs out that the L p -surface area measure S p K, ) o S 1 is absolutely cotiuous with respect to SK, ), ad has the Rado-Nikodym derivative ds p K, ) dsk, ) = h1 p K, ) TheL p -Bru-Mikowski iequality was give by Lutwak i [9]: If K,L K o,λ,µ > 0, ad p 1, the Vλ K + p µ L) p/ λvk) p/ +µvl) p/, 11) with equality for p = 1 if ad oly if K ad L are homothetic, ad for p > 1 if ad oly if K ad L are dilates Takigλ = µ = 1 adl = K i 10), thel p-differece body, p K, of K was give by see [9]) p K = 1 K + p 1 K) 1) B L p -radial Combiatio ad L p -dual Mixed Volume If K is a compact star-shaped about the origi) set i R, the its radial fuctio, ρ K = ρk, ) : R \{0} [0, ), is defied by see []) ρk,u) = max{λ 0 : λu K}, u S 1 If ρ K is positive ad cotiuous, the K will be called a star body about the origi) Two star bodies K adlare said to be dilated of oe aother ifρ K u)/ρ L u) is idepedet of u S 1 If K,L So ad λ,µ 0 ot both zero), the for p > 0, the L p -radial combiatio, λk + p µ L So, is defied by see [3]) ρλk + p µl, ) p = λρk, ) p +µρl, ) p 13) For p 1, ad K,L S o, the L p -dual mixed volume, Ṽ p K,L), was defied i [3] by VK + p εl) VK) pṽpk,l) = lim The followig itegral represetatio for the L p -dual mixed volume was obtaied i [3]: If p 1, ad K,L So, the Ṽ p K,L) = 1 ρk,u) p ρl,u) p dsu), S 1 where S is the spherical Lebesgue measure o S 1 ie, the 1)-dimesioal Hausdorff measure) We shall eed the followig L p -dual Bru-Mikowski iequality see [3]): If K,L S o ad 0 < p, the VλK + p µl) p/ λvk) p/ +µvl) p/ 14) The reverse iequality holds whe p > Equality holds whe p if ad oly if K is a dilate of L Takig λ = µ = 1 ad L = K i 13), the L p-radial body, p K, of K is defied by p K = 1 K + 1 p K) 15) Advace olie publicatio: 15 February 016)

IAENG Iteratioal Joural of Applied Mathematics, 46:1, IJAM_46_1_14 C L p -harmoic Radial Combiatio adl p -harmoic Mixed Volume For K,L So, p 1 ad λ,µ 0 ot both zero), the L p -harmoic radial combiatio, λ Kˆ+ p µ L So, is defied bysee [10]) ρλ Kˆ+ p µ L, ) p = λρk, ) p +µρl, ) p 16) If K K o, the polar set, K, of K is defied by K = {x R : x y 1, for all y K} 17) From 17), we ca easily have K ) = K, ad h K = 1 ρ K, ρ K = 1 h K 18) for K K o By 10), 16) ad 18), it follows that if K,L K o ad λ,µ 0 ot both zero), the λ Kˆ+ p µ L = λ K + p µ L ) Defie the Sataló product of K K o by VK)VK ) The Blaschke-Sataló iequality see []) is oe of the fudametal affie isoperimetric iequalities It states that if K K c the VK)VK ) ω, with equality if ad oly if K is a ellipsoid For p 1 ad K,L S o, the L p-harmoic mixed volume, Ṽ pk,l), is defied by see [10]) VK + p ε L) VK) pṽ pk,l) = lim From the polar coordiate formula, the followig itegral represetatio was give i [10]: If p 1 ad K,L So, the Ṽ p K,L) = 1 ρk,u) +p ρl,u) p dsu) S 1 The Mikowski s iequality for the L p -harmoic mixed volume ca be stated that see [10]): Ifp 1 adk,l S o, the Ṽ p K,L) VK) +p VL) p, 19) with equality if ad oly if K ad L are dilates The Bru-Mikowski iequality for the L p -harmoic radial combiatio ca be stated that see [10]): Suppose K,L So,p 1 ad λ,µ > 0, the Vλ Kˆ+ p µ L) p/ λvk) p/ +µvl) p/, 0) with equality if ad oly if K ad L are dilates each other Takig λ = µ = 1 ad L = K i 16), the L p-harmoic radial body, p K, of K is defied by p K = 1 K + 1 p K) 1) D L p -affie Surface Area, L p -curvature Image ad Blaschke L p -combiatio I [10], Lutwak defied the L p -affie surface area as follows: For K Fo ad p 1, the L p-affie surface area, Ω p K), of K is defied by Ω p K) = f p K,u) +p dsu) S 1 Further, Lutwak [10] showed the otio of L p -curvature image as follows: For ayk Fo adp 1, defieλ pk So, the L p -curvature image of K, by ρλ p K, ) +p = VΛ pk) ω f p K, ) ) Note that for p = 1, this defiitio is differet from the classical curvature image see [14]) The defiitio of Blaschke L p -combiatio for covex bodies may be stated that see [9]) for K,L K c,λ,µ 0 ot both zero) ad p 1, the Blaschke L p - combiatio, λk + p µl K c, of K ad L is defied by ds p λk + p µl, ) = λds p K, )+µds p L, ) 3) Takig λ = µ = 1 ad L = K i 3), the Blaschke L p -body, p K Kc, of K is defied by see [9]) p K = 1 K + 1 p K) 4) From ) ad 3), Wag ad Leg [6] proved the followig L p -Bru-Mikowski iequality: If K,L Fc,λ,µ > 0 ad p 1, the VΛ p λk + p µl)) p/ λvλ p K) p/ +µvλ p L) p/, 5) with equality for p = 1 if ad oly if K ad L are homothetic, for p > 1 if ad oly if K ad L are dilates III PROOFS OF THEOREMS I this sectio, we prove Theorems 14-17 Takig L = Q i Propositio 34 of [31], we immediately give: Lemma 31 If p 1 ad K K c, the for ay Q K o, V p Λ pk,q) = ω Ṽ p K,Q )/VK) 6) Lemma 3 If p 1 ad K K c, the Proof Λ pk) = ω p VK) p 7) By 1), 6) ad 7), we have Λ pk) = ω p if{v p Λ pk,q)vq ) p : Q K o } = ω p if{ω Ṽ p K,Q )VQ ) p /VK) : Q K o } ω p : Q K o } = ω p VK) p if{vk) +p VQ ) p VQ ) p /VK) O the other had, from 1) ad 6), it follows that for ay Q K o Λ p K) ω p V p Λ p K,Q)VQ ) p = ω p Ṽ p K,Q )VQ ) p /VK) Advace olie publicatio: 15 February 016)

IAENG Iteratioal Joural of Applied Mathematics, 46:1, IJAM_46_1_14 Sice K K c, ad takig Q = K, we obtia Λ p pk) ω VK) p Above all, we yield equality 7) Proof of Theorem 14 From 7) ad 11), it follows that Λ p λ K + p µ L)) = ω p Vλ K + p µ L)) p λω p VK) p p +µω VL) p = λ Λ pk)+µ Λ pl) From the equality coditio of iequality 11), we kow that equality holds i 6) for p = 1 if ad oly if K ad L are homothetic, ad for p > 1 if ad oly if K ad L are dilates Accordig to 6) ad 1), we easily get that if K K c ad p 1, the Λ p pk)) = Λ p K) Proof of Theorem 15 It follows from 7) ad 14) that for 1 p, Λ pλk + p µl)) = ω p VλK + p µl)) p λω p VK) p p +µω VL) p = λ Λ p K)+µΛ p L) The reverse iequality holds whe p > From the equality coditio of iequality 14), we kow that equality holds i 7) whe p if ad oly if K is a dilate of L Together 7) with 15), we easily get that if K K c ad p, the Proof of Theorem 16 Λ p p K)) = Λ pk) By 7) ad 0), we have Λ pλ K + p µ L)) 1 ) 1Vλ K + p µ L)) p = ω p λ ω p ) 1VK) p p) +µ ω 1VL) p = λ Λ pk) 1 +µ Λ pl) 1 From the equality coditio of iequality 0), we kow that equality holds i 8) if ad oly if K ad L are dilates A immediate cosequece of Theorem 16 is: Corollary 33 With the same assumptios of Theorem I, if λ,µ > 0, the 4 Λ pλ K + p µ L)) 1 λ Λ pk)+ 1 µ Λ pl), 8) with equality if ad oly if K ad L are dilates each other Proof Usig Cauchy s iequality ad the arithmetic mea-harmoic mea iequality i 8), we have Λ p λ K + p µ L)) 1 λ Λ pk) 1 +µ Λ pl) 1 1 4λ Λ p K)+ 1 4λ Λ p L) This yields the desired iequality Combiig 8) with 1), we easily get that if K K c ad p 1, the Λ p p K)) = Λ p K) Lemma 34 For p 1, the mappig Λ p : Fc Sc is bijective Proof For the case p = 1, sice Λ = Λ 1 is the classical curvature image ad Λ : Sc F c is a bijectio see [14], p50), Λ 1 is a bijectio For p > 1, Λ p : S c F c was proved i Propositio 36 of [31] that it is also a bijectio Thus for p 1, Λ p : S c F c is bijective From the defiitio of the L p -polar curvature image Λ p, we kow that it is the iverse of the L p -curvature image Λ p This implies that Λ p is a bijectio o the class of origi-symmetric bodies for p 1 Proof of Theorem 17 It follows from 5) thatλ p = Λ 1 p is the iverse image of Λ p By Lemma 34, equatio 7) ad iequality 5), we have λk + p µl) = Λ pλ p λk + p µl) = ω p VΛ p λk + p µl)) p λω p = λ K)+µ L) VΛ p K) p p +µω VΛ p L) p From the equality coditio of 5), we kow that equality holds i 9) for p = 1 if ad oly if K ad L are homothetic, ad for p > 1 if ad oly if K ad L are dilates By 9) ad 4), we easily get that if K F c ad p 1, the p K) = K) IV THE EQUIVALENCE OF SEVERAL INEQUALITIES Defie M p = {K F o : there exists a Q K o with f p K, ) = hq, ) +p) }, ad call it the p-elliptic type if K M p see [10]) The followig lemma is a direct cosequece of Lemma 13 Lemma 41 Suppose K M p ad p 1, the Ω p K) +p = ω ) p K) 9) Let Fe deote the set of all bodies i K e which has a positive cotiuous curvature fuctio Combiig iequality ) with iequality 3), it follows from Lemma 41 that Theorem 4 Suppose K Fe ad p 1 If K M p, the iequality 3) is equivalet to iequality ) Lutwak [10] proved the followig Blaschke-Sataló type iequality for p-affie surface area Theorem 410 i [10]): If p 1 ad K Ke, the Ω p K)Ω p K ) ω ), 30) with equality if ad oly if K is a ellipsoid From 9) ad 30), we get the followig Blaschke-Sataló type iequality for p-geomiimal surface area Advace olie publicatio: 15 February 016)

IAENG Iteratioal Joural of Applied Mathematics, 46:1, IJAM_46_1_14 Theorem 43 For p 1 ad K K e, if K M p, the K) K ) ω ), 31) with equality if ad oly if K is a ellipsoid If p 1 ad K Ko, the there exists a uique body T p K Ko such thatsee see Propositio 33 i [10]) K) = V p K,T p K) ad VT p K) = ω A body i Ko will be called p-selfmiimal if T p K ad K are dilates of each other For K Ko, Lutwak [10] defied the p-geomiimal area ratio of K by Gp K) ) 1/p VK) p, ad proved that the p-geomiimal area ratios are mootoe o-decreasig i p see Theorem 63 i [10]): If K Ko, ad 1 p q, the Gp K) ) 1/p Gq K) ) 1/q VK) p VK) q, 3) with equality if ad oly if K is p-selfmiimal For K Ko, Lutwak [10] defied the p-affie area ratio of K by Ωp K) +p ) 1/p +p VK) p, ad also obtaied that the p-affie area ratios are mootoe o-decreasig i p see Propositio 513 i [10]): If K Fo, ad 1 p q, the Ωp K) +p ) 1/p Ωq K) +q ) 1/q +p VK) p +q VK) q, 33) with equality if ad oly if K ad Λ p K are dilates The equatio 9) implies that if K M p ad p 1, the Ωp K) +p ) 1/p Gp K) ) 1/p +p VK) p = ω VK) p 34) It is clear from 34) that for K M p iequality 3) ad iequality 33) are equivalet Lutwak proved the followig iequalities 35) ad 36) for the p-affie area ratio of K ad the p-geomiimal area ratio of K Obviously, they are also equivalet for K M p If K Fo, ad p 1, the see Propositio 47 i [10]) Ωp K) +p ) 1/p VK)VK ), 35) +p VK) p with equality if ad oly if K ad Λ p K are dilates If K Ko, ad p 1, the see Propositio 6 i [10]) Gp K) ) 1/p VK)VK )/ω, 36) VK) p with equality if ad oly if K is p-selfmiimal We ote that due to equality 9), Theorems 14-17 have obvious aalogs for the p-affie surface area ACKNOWLEDGMENT The referee of this paper proposed may very valuable commets ad suggestios to improve the accuracy ad readability of the origial mauscript We would like to express our most sicere thaks to the aoymous referee REFERENCES [1] W Blaschke, Vorlesuge über Differetialgeometrie II, Affie Differetialgeometrie, Spriger-Verlag, Berli, 193 [] W J Firey, p-meas of covex bodies, Mathematica Scadiavica, vol 10, o 1, pp 17-4, Ju 196 [3] R J Garder, The Bru-Mikowski iequality, Bulleti of the America Mathematical Society, vol 39, o 3, pp 355-405, Apr 00 [4] K Leichtweiβ, Zur Affioberfläche kovexer Körper, Mauscripta Mathematica, vol 56, o 4, pp 49-464, Dec 1986 [5] K Leichtweiβ, Bemerkuge zur Defiitio eier erweiterte Affioberflöche vo E Lutwak, Mauscripta Mathematica, vol 65, o, pp 181-197, Ju 1989 [6] K Leichtweiβ, O the history of the affie surface area for covex bodies, Results i Mathematics, vol 0, o 3-4, pp 650-656, Nov 1991 [7] K Leichtweiβ, Affie Geometry of Covex Bodies, Joha Ambrosius Barth, Heidelberg, 1998 [8] M Ludwig ad M Reitzer, A characterizatio of affie surface area, Advaces i Mathematics, vol 147, o, pp 138-17, Nov 1999 [9] E Lutwak, The Bru-Mikowski-Firey theory I: Mixed volumes ad the Mikowski problem, Joural Difieretial Geometry, vol 38, o 1, pp 131-150, Jul 1993 [10] E Lutwak, The Bru-Mikowski-Firey theory II: Affie ad geomiimal surface areas, Advaces i Mathematics, vol 118, o, pp 44-94, Mar 1996 [11] E Lutwak, O the Blaschke-Sataló iequality, Aals of the New York Academy of Scieces, vol 440, o 1, pp 106-11, May 1985 [1] E Lutwak, O some affie isoperimetric iequalities, Joural Difieretial Geometry, vol 3, o 1, pp 1-13, Ja 1986 [13] E Lutwak, Mixed affie surface area, Joural of Mathematical Aalysis ad Applicatios, vol 15, o, pp 351-360, Aug 1987 [14] E Lutwak, Exteded affie surface area, Advaces i Mathematics, vol 85, o 1, pp 39-68, Ja 1991 [15] S J Lv ad G S Leg, p-polar curvae iages of star boies ad p- affie surface aeas, Joural of Shaghai Uiversity Natural Sciece), vol 14, o, pp 148-151, Mar 008)i Chiese) [16] T Y Ma, The ith p-geomiimal surface area, Joural of Iequalities ad Applicatios, vol 014, o 1, pp 1-6, Sept 014 [17] T Y Ma ad F B Feg, The ith p-affie surface area, Joural of Iequalities ad Applicatios, vol 015, o 1, pp 1-6, Ju 015 [18] M Meyer ad E Werer, O the p-affie surface area, Advaces i Mathematics, vol 15, o, pp 88-313, Ju 000 [19] C M Petty, Geomiimal surface area, Geometry Dedicata, vol 3, o 1, pp 77-97, May 1974 [0] C M Petty, Affie isoperimetric problems, Discrete Geometry ad Covexity, vol 440, o 1, pp 113-17, May 1985 [1] S Reiser, Zooids with miimal volume product, Mathematische Zeitschrif, vol 19, o 3, pp 339-346, Sept 1986 [] R Scheider, Covex Bodies: The Bru-Mikowski Theory, Secod editor, Cambridge Uiversity Press, Cambridge, 014 [3] R Scheider, Affie surface area ad covex bodies of elliptic type, Periodica Mathematica Hugarica, vol 69, o, pp 10-15, Dec 014 [4] R Scheider, Boudary structure ad curvature of covex bodies, Cotributios to Geometry J Tölte ad J M Wills, eds), Birkhäuser, Basel, vol 0, o 1, pp 13-59, Apr 1979 [5] C Schütt, O the affie surface area, Proceedigs of the America Mathematical Society, vol 118, o 4, pp 113-118, Aug 1993 [6] W D Wag ad G S Leg, L p-mixed affie surface area, Joural of Mathematical Aalysis ad Applicatios, vol 335, o 1, pp 341-354, Nov 007 [7] W Wag ad B W He, L p-dual affie surface area, Joural of Mathematical Aalysis ad Applicatios, vol 348, o, pp 746-751, Dec 008 [8] E Werer, Illumiatio bodies ad affie surface area, Studia Mathematica, vol 110, o 3, pp 57-69, Jul 1994 [9] E Werer ad D Ye, New L p-affie isoperimetric iequalities, Advaces i Mathematics, vol 18, o 6, pp 76-780, Aug 008 [30] J Yua, S J Lv ad G S Leg, The p-affie surface area, Mathematical Iequalities Applicatios, vol 10, o 3, pp 693-70, Jul 007 [31] X Y Zhu, S J LV ad G S Leg, Exteded affie surface area ad zootopes, Boleti Sociedad Matematica Mexicaa, vol 14, o 3, pp 15-138, Jul 008 [3] B C Zhu, J Z Zhou ad W X Xu, L p-mixed geomiimal surface area, Joural of Mathematical Aalysis ad Applicatios, vol 4, o, pp 147-163, Feb 015 Advace olie publicatio: 15 February 016)