Tuesday, 28 May 2013

calculus - Simplify to terms of generalized power mean



I have the following expression1 I'd like to simplify
r[1xx(1kx)1yy(1ky)][1x(1kx)1y(1ky)]1
where x>y>k1.




Some attempts led me to think that r can be expressed nicely in terms of generalized means of x,y like the harmonic (p=1), geometric (p0), and other powers:2
H(1x+1y)1GxyM(xp+yp)1/pwith perhapsp=12



To be specific, my question is this:




Is there a way to write it in this form r?=1x+1y+1xy+??=1H+1G+?? such that the ?? part is "nice" in terms of k and maybe H,G or M defined above?





I also wonder if there's some standard techniques like examining the asymptotic form to guess the coefficients of the proposed terms. I tried a bit but didn't get very far.



Directly pulling out 1H and 1G just change r into something equally inviting but not more compact.



Any suggestions will be appreciated. Honestly, one main reason for me to think that "oh there must be some nice and more compact forms" is the glaring symmetry. I will be okay if there turn out to be none. Thanks.






Footnote 1:

For the record, r is part of the expression of the ratio between 2f(u)u2 and f(u)u, evaluated at u=0, where f(u)=(1u+y1u+x)u+k



Footnote 2:
This is a slight abuse of notations, as the generalized means should carry the averaging factors 12 or 12. My shorthands can also match the p-norms, which has the benefit of the norms ordered in powers have correspondingly decreasing magnitudes. However, p-norms doesn't cover xy like generalized mean.






Update (Nov.28th, 2017)



With all the inverses lying around, it turns out that the best way is to express r in terms of the ... you guessed it ... inverses: v1/x and w1/y. I'll spare the readers of the actual algebra. Suffice to say that this is also the natural course to take to adopt the notions of p-norms; one just have to give up on unifying 1/xy=1/G=vw formally.



Answer



We can write
r=1H+1G+1MG+GMk
where
M=(x1/2+y1/2)2






If we write
r=1xx1yyk(1x2x1y2y)1x1yk(1xx1yy)=1x+1y+1xy+A then we have

A=k(1x1y)(1xy+1yx)1x1yk(1xx1yy)



Using
x+y=G2H,xy=G2,1M=1H+2G
we have
(1x1y)2=(1H+2G)(1H2G)1x1y=1M(1H2G)



(1xy+1yx)2=1G2(1H+2G)1xy+1yx=1G1M



(1x1y)2=1H2G1x1y=1H2G




(1xx1yy)2=(1H+1G)2(1H2G)1xx1yy=(1M1G)1H2G



So, we get



A=k(1M(1H2G))1G1M1H2Gk((1M1G)1H2G)=1MG+GMk


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...