In 1987, we established an operator inequality as follows; $A \ge B \ge 0 $ $\Longrightarrow (A^{\frac {r}{2}} A^p A^{\frac {r}{2}})^{\frac{1}{q}} \ge (A^{\frac {r}{2}} B^p A^{\frac {r}{2}})^{\frac{1}{q}}$ holds for (*) $ p \ge 0$, $q \ge 1$, $r \ge 0$ with $(1+r)q \ge p+r.$ It is an extension of Löwner-Heinz inequality. The purpose of this paper is to explain geometrical background of the domain by (*), and to give brief survey of recent results of its applications.
References
A. Aluthge, $p$-hyponormal operators for $ 0 < p <1$, Integral Equations Operator Theory 13 (1990), 307–315. MR1047771 0718.47015 10.1007/BF01199886 A. Aluthge, $p$-hyponormal operators for $ 0 < p <1$, Integral Equations Operator Theory 13 (1990), 307–315. MR1047771 0718.47015 10.1007/BF01199886
A. Aluthge, Some generalized theorems on $p$-hyponormal operators, Integral Equations Operator Theory 24 (1990), 497–501. MR1382022 0843.47014 10.1007/BF01191623 A. Aluthge, Some generalized theorems on $p$-hyponormal operators, Integral Equations Operator Theory 24 (1990), 497–501. MR1382022 0843.47014 10.1007/BF01191623
A. Aluthge and D. Wang, $w$-hyponormal operators, Integral Equations Operator Theory 36 (2000), 1–10. MR1736916 10.1007/BF01236285 A. Aluthge and D. Wang, $w$-hyponormal operators, Integral Equations Operator Theory 36 (2000), 1–10. MR1736916 10.1007/BF01236285
E. Ann and Y. Lim, An application of Furuta inequality to linear operator equations, Kyungpook Math. J. 49 (2009), 743–750. MR2601937 1186.47010 10.5666/KMJ.2009.49.4.743 E. Ann and Y. Lim, An application of Furuta inequality to linear operator equations, Kyungpook Math. J. 49 (2009), 743–750. MR2601937 1186.47010 10.5666/KMJ.2009.49.4.743
T. Ando, On some operator inequalities, Math. Ann. 279 (1987), 157–159. MR912844 0613.47020 10.1007/BF01456197 T. Ando, On some operator inequalities, Math. Ann. 279 (1987), 157–159. MR912844 0613.47020 10.1007/BF01456197
T. Ando, Majorization and inequalities in Matrix Theory, Linear Algebra Appl. 199 (1994), 17–67. MR1274407 0798.15024 10.1016/0024-3795(94)90341-7 T. Ando, Majorization and inequalities in Matrix Theory, Linear Algebra Appl. 199 (1994), 17–67. MR1274407 0798.15024 10.1016/0024-3795(94)90341-7
T. Ando, Löwner inequality of indefinite type 385 (2004), 73–80. MR2063348 10.1016/S0024-3795(03)00496-8 T. Ando, Löwner inequality of indefinite type 385 (2004), 73–80. MR2063348 10.1016/S0024-3795(03)00496-8
T. Ando and F. Hiai, Log majorization and complementary Golden-Thompson type inequalities, Linear Algebra Appl. 197, 198 (1994), 113–131. MR1275611 0793.15011 10.1016/0024-3795(94)90484-7 T. Ando and F. Hiai, Log majorization and complementary Golden-Thompson type inequalities, Linear Algebra Appl. 197, 198 (1994), 113–131. MR1275611 0793.15011 10.1016/0024-3795(94)90484-7
N. Bebiano, R. Lemos, J. da Providencia and G. Soara, Further developments of Furuta inequality of indefinite type, Math. Inequal. Appl. 13 (2010), 523–535. MR2662836 N. Bebiano, R. Lemos, J. da Providencia and G. Soara, Further developments of Furuta inequality of indefinite type, Math. Inequal. Appl. 13 (2010), 523–535. MR2662836
R. Bhatia and M. Uchiyama. The operator equation $\sum_{i=0}^{n}A^{n-i}XB^{i} =Y$, Expo. Math. 27 (2009), 251–255. MR2555371 1167.15010 10.1016/j.exmath.2009.02.001 R. Bhatia and M. Uchiyama. The operator equation $\sum_{i=0}^{n}A^{n-i}XB^{i} =Y$, Expo. Math. 27 (2009), 251–255. MR2555371 1167.15010 10.1016/j.exmath.2009.02.001
N.N. Chan and M.K. Kwong, Hermitian matrix inequalities and a conjecture, Amer. Math. Monthly 92 (1985), 533–541. MR812096 10.2307/2323157 N.N. Chan and M.K. Kwong, Hermitian matrix inequalities and a conjecture, Amer. Math. Monthly 92 (1985), 533–541. MR812096 10.2307/2323157
M. Fujii, Furuta's inequality and its mean theoretic approach, J. Operator Theorey 23 (1990), 67–72. MR1054816 0734.47008 M. Fujii, Furuta's inequality and its mean theoretic approach, J. Operator Theorey 23 (1990), 67–72. MR1054816 0734.47008
M. Fujii, Furuta's inequality and its related topics, Ann. Funct. Anal. 1 (2010), 28–45. MR2772036 1244.47019 M. Fujii, Furuta's inequality and its related topics, Ann. Funct. Anal. 1 (2010), 28–45. MR2772036 1244.47019
M. Fujii, T. Furuta and E. Kamei, Furuta's inequality and its application to Ando's theorem, Linear Algebra Appl. 179 (1993),161–169. MR1200149 0788.47012 10.1016/0024-3795(93)90327-K M. Fujii, T. Furuta and E. Kamei, Furuta's inequality and its application to Ando's theorem, Linear Algebra Appl. 179 (1993),161–169. MR1200149 0788.47012 10.1016/0024-3795(93)90327-K
M. Fujii, M. Ito, E. Kamei and A. Matsumoto, Operator inequalities related to Ando–Hiai inequality, Sci. Math. Jpn. 70 (2009), 229–232. MR2555739 1189.47017 M. Fujii, M. Ito, E. Kamei and A. Matsumoto, Operator inequalities related to Ando–Hiai inequality, Sci. Math. Jpn. 70 (2009), 229–232. MR2555739 1189.47017
M. Fujii, J.-F. Jiang and E. Kamei, Characterization of chaotic order and its application to Furuta inequality, Proc. Amer. Math. Soc. 125 (1997), 3655–3658. MR1415586 0889.47014 10.1090/S0002-9939-97-04057-4 M. Fujii, J.-F. Jiang and E. Kamei, Characterization of chaotic order and its application to Furuta inequality, Proc. Amer. Math. Soc. 125 (1997), 3655–3658. MR1415586 0889.47014 10.1090/S0002-9939-97-04057-4
M. Fujii and E. Kamei, Mean theoretic approach to the grand Furuta inequality, Proc. Amer. Math. Soc. 124 (1996), 2751–2756. MR1327013 0859.47012 10.1090/S0002-9939-96-03342-4 M. Fujii and E. Kamei, Mean theoretic approach to the grand Furuta inequality, Proc. Amer. Math. Soc. 124 (1996), 2751–2756. MR1327013 0859.47012 10.1090/S0002-9939-96-03342-4
M. Fujii, E. Kamei and R. Nakamoto, On a question of Furuta on chaotic order,II, Math. J. Okayama Univ. 45 (2003), 123–131. MR2038845 1068.47024 M. Fujii, E. Kamei and R. Nakamoto, On a question of Furuta on chaotic order,II, Math. J. Okayama Univ. 45 (2003), 123–131. MR2038845 1068.47024
M. Fujii, A. Matsumoto and R. Nakamoto, A short proof of the best possibility for the grand Furuta inequality, J. of Inequal. and Appl. 4 (1999), 339–344. MR1732675 0949.47015 M. Fujii, A. Matsumoto and R. Nakamoto, A short proof of the best possibility for the grand Furuta inequality, J. of Inequal. and Appl. 4 (1999), 339–344. MR1732675 0949.47015
M. Fujii, R. Nakamoto and K. Yonezawa, A satellite of the grand Furuta inequality and its application, Linear Algebra Appl. (to appear). MR3005244 10.1016/j.laa.2011.03.049 06142077 M. Fujii, R. Nakamoto and K. Yonezawa, A satellite of the grand Furuta inequality and its application, Linear Algebra Appl. (to appear). MR3005244 10.1016/j.laa.2011.03.049 06142077
T. Furuta, $A \ge B \ge 0$ assures $(B^rA^pB^r)^{1/q} \ge B^{(p+2r)/q}$ for $r \ge 0, p \ge 0, q \ge 1$ with $(1+2r)q \ge p+2r$, Proc. Amer. Math. Soc. 101 (1987), 85–88. MR897075 0721.47023 T. Furuta, $A \ge B \ge 0$ assures $(B^rA^pB^r)^{1/q} \ge B^{(p+2r)/q}$ for $r \ge 0, p \ge 0, q \ge 1$ with $(1+2r)q \ge p+2r$, Proc. Amer. Math. Soc. 101 (1987), 85–88. MR897075 0721.47023
T. Furuta, An elementary proof of an order preserving inequality, Proc. Japan Acad. 65 (1989), 126. MR1011850 10.3792/pjaa.65.126 T. Furuta, An elementary proof of an order preserving inequality, Proc. Japan Acad. 65 (1989), 126. MR1011850 10.3792/pjaa.65.126
T. Furuta, An extension of the Furuta inequality and Ando-Hiai log majorization, Linear Algebra Appl. 219 (1995), 139–155. MR1327396 0822.15008 10.1016/0024-3795(93)00203-C T. Furuta, An extension of the Furuta inequality and Ando-Hiai log majorization, Linear Algebra Appl. 219 (1995), 139–155. MR1327396 0822.15008 10.1016/0024-3795(93)00203-C
T. Furuta, Generalized Aluthge transformation on $p$-hyponormal operators, Proc. Amer. Math. Soc. 124 (1996), 3071–3075. MR1350943 0861.47014 10.1090/S0002-9939-96-03580-0 T. Furuta, Generalized Aluthge transformation on $p$-hyponormal operators, Proc. Amer. Math. Soc. 124 (1996), 3071–3075. MR1350943 0861.47014 10.1090/S0002-9939-96-03580-0
T. Furuta,Invitation to Linear Operators, Taylor & Francis, London, 2001. MR1978629 1029.47001 T. Furuta,Invitation to Linear Operators, Taylor & Francis, London, 2001. MR1978629 1029.47001
T. Furuta, Convergence of logarithmic trace inequalities via generalized Lie–Trotter formulae, Linear Algebra Appl. 396 (2005), 353–372. MR2112214 1070.47010 10.1016/j.laa.2004.09.007 T. Furuta, Convergence of logarithmic trace inequalities via generalized Lie–Trotter formulae, Linear Algebra Appl. 396 (2005), 353–372. MR2112214 1070.47010 10.1016/j.laa.2004.09.007
T. Furuta, Further extension of order preserving operator inequality, Journal Math. Inequal., 2 (2008), 465–472. MR2482459 1168.47016 10.7153/jmi-02-41 T. Furuta, Further extension of order preserving operator inequality, Journal Math. Inequal., 2 (2008), 465–472. MR2482459 1168.47016 10.7153/jmi-02-41
T. Furuta, Operator function associated with an order preserving operator inequality, J. Math. Inequal. 3 (2009), 21–29. MR2502538 1170.47304 10.7153/jmi-03-03 T. Furuta, Operator function associated with an order preserving operator inequality, J. Math. Inequal. 3 (2009), 21–29. MR2502538 1170.47304 10.7153/jmi-03-03
T. Furuta, Log majorization via an order preserving operator inequality, Linear Algebra Appl. 431 (2009), 132–138. MR2522562 1219.15020 10.1016/j.laa.2009.02.011 T. Furuta, Log majorization via an order preserving operator inequality, Linear Algebra Appl. 431 (2009), 132–138. MR2522562 1219.15020 10.1016/j.laa.2009.02.011
T. Furuta, Positive semidefinite solutions of the operator equation $\d{\sum_{j=1}^n A^{n-j}XA^{j-1}=B }$, Linear Algebra Appl. 432 (2009), 949–955. MR2577639 1187.15017 10.1016/j.laa.2009.10.008 T. Furuta, Positive semidefinite solutions of the operator equation $\d{\sum_{j=1}^n A^{n-j}XA^{j-1}=B }$, Linear Algebra Appl. 432 (2009), 949–955. MR2577639 1187.15017 10.1016/j.laa.2009.10.008
T. Furuta, Operator functions on chaotic order involving order preserving operator inequalities , J. Math. Inequal. 1 (2012), 15–31. MR2934562 06033548 10.7153/jmi-06-02 T. Furuta, Operator functions on chaotic order involving order preserving operator inequalities , J. Math. Inequal. 1 (2012), 15–31. MR2934562 06033548 10.7153/jmi-06-02
T. Furuta, M.Hashimoto and M. Ito, Equivalence relation between generalized Furuta inequality and related operator functions, Sci. Math. 1 (1998), 257–259. MR1686239 0948.47021 T. Furuta, M.Hashimoto and M. Ito, Equivalence relation between generalized Furuta inequality and related operator functions, Sci. Math. 1 (1998), 257–259. MR1686239 0948.47021
T. Furuta, M. Ito and T. Yamazaki, A subclass of paranormal operators including class of log-hyponormal and several related classes, Sci. Math. 1 (1998), 389–403. MR1688255 0936.47009 T. Furuta, M. Ito and T. Yamazaki, A subclass of paranormal operators including class of log-hyponormal and several related classes, Sci. Math. 1 (1998), 389–403. MR1688255 0936.47009
T. Furuta, T. Yamazaki, and M. Yanagida, Order preserving operator function via Furuta inequality “$A \ge B \ge 0$ ensures $(A^{r/2}A^pA^{r/2})^{\f {1+r}{p+r}} \ge (A^{r/2}B^pA^{r/2})^{\f {1+r}{p+r}}$ for $ p \ge 1$ cmand $ r \ge 0$", Proc. of 96–IWOTA Conference, 175–184. T. Furuta, T. Yamazaki, and M. Yanagida, Order preserving operator function via Furuta inequality “$A \ge B \ge 0$ ensures $(A^{r/2}A^pA^{r/2})^{\f {1+r}{p+r}} \ge (A^{r/2}B^pA^{r/2})^{\f {1+r}{p+r}}$ for $ p \ge 1$ cmand $ r \ge 0$", Proc. of 96–IWOTA Conference, 175–184.
T. Furuta and M. Yanagida, Further extensions of Aluthge transformation on $p$-hyponormal operators, Integral Equations Operator Theory 29 (1997), 122–125. MR1466864 0902.47022 10.1007/BF01191484 T. Furuta and M. Yanagida, Further extensions of Aluthge transformation on $p$-hyponormal operators, Integral Equations Operator Theory 29 (1997), 122–125. MR1466864 0902.47022 10.1007/BF01191484
T. Furuta and M. Yanagida,On powers of $p$-hyponormal operators, Sci. Math. 2 (1999), 279–284. MR1718268 0969.47020 T. Furuta and M. Yanagida,On powers of $p$-hyponormal operators, Sci. Math. 2 (1999), 279–284. MR1718268 0969.47020
F. Hiai, Log-majorizations and norm inequalities for exponential operators, Linear operators (Warsaw, 1994), 119–181. Banach Center Publ. 38. Polish Acad. Sci., Warsw, 1997. MR1457004 0885.47003 F. Hiai, Log-majorizations and norm inequalities for exponential operators, Linear operators (Warsaw, 1994), 119–181. Banach Center Publ. 38. Polish Acad. Sci., Warsw, 1997. MR1457004 0885.47003
T. Huruya, A note on $p$-hyponormal operators, Proc. Amer. Math. Soc. 125 (1997), 3617–3624. MR1416089 0888.47010 10.1090/S0002-9939-97-04004-5 T. Huruya, A note on $p$-hyponormal operators, Proc. Amer. Math. Soc. 125 (1997), 3617–3624. MR1416089 0888.47010 10.1090/S0002-9939-97-04004-5
M. Ito, Some classes of operators associated with generalized Aluthge transformation, SUT J. Math. 35 (1999), 149–165. MR1701779 0935.47013 M. Ito, Some classes of operators associated with generalized Aluthge transformation, SUT J. Math. 35 (1999), 149–165. MR1701779 0935.47013
M. Ito and E. Kamei, A complement to monotonicity of generalized Furuta-type operator functions, Linear Algebra Appl. 430 (2009), 544–546. MR2460535 1159.47006 10.1016/j.laa.2008.08.019 M. Ito and E. Kamei, A complement to monotonicity of generalized Furuta-type operator functions, Linear Algebra Appl. 430 (2009), 544–546. MR2460535 1159.47006 10.1016/j.laa.2008.08.019
M. Ito and E. Kamei, Ando–Hiai inequality and a generalized Furuta-type operator function, Sci. Math. Jpn. 70 (2009), 43–52. MR2542005 1191.47022 M. Ito and E. Kamei, Ando–Hiai inequality and a generalized Furuta-type operator function, Sci. Math. Jpn. 70 (2009), 43–52. MR2542005 1191.47022
M. Ito and E. Kamei, Mean theoretic approach to a further extension of grand Furuta inequality, J. Math. Inequal. 4 (2010), 325–333. MR2724928 1207.47014 10.7153/jmi-04-29 M. Ito and E. Kamei, Mean theoretic approach to a further extension of grand Furuta inequality, J. Math. Inequal. 4 (2010), 325–333. MR2724928 1207.47014 10.7153/jmi-04-29
S. Izumino, N. Nakamura and M. Tominaga, Mean theoretic operator functions for extensions of the grand Furuta inequality, Sci. Math. Jpn. 72 (2010), 157–163. MR2731302 1222.47022 S. Izumino, N. Nakamura and M. Tominaga, Mean theoretic operator functions for extensions of the grand Furuta inequality, Sci. Math. Jpn. 72 (2010), 157–163. MR2731302 1222.47022
E. Kamei, A satellite to Furuta's inequality, Math. Japon. 33 (1988), 883–886. MR975867 0672.47015 E. Kamei, A satellite to Furuta's inequality, Math. Japon. 33 (1988), 883–886. MR975867 0672.47015
E. Kamei,Monotonicity of the Furuta inequality on its complementary domain, Math. Japon. 49 (1999), 21–26. MR1671933 0985.47016 E. Kamei,Monotonicity of the Furuta inequality on its complementary domain, Math. Japon. 49 (1999), 21–26. MR1671933 0985.47016
T. Koizumi and K. Watanabe, A remark on extension of order preserving operator inequalities, J. Math. Inequal. 1 (2012), 119–124. MR2934572 06033558 10.7153/jmi-06-12 T. Koizumi and K. Watanabe, A remark on extension of order preserving operator inequalities, J. Math. Inequal. 1 (2012), 119–124. MR2934572 06033558 10.7153/jmi-06-12
T. Koizumi and K. Watanabe, On best possibility of an extension of Furuta inequality, Int. J. Funct. Anal. Oper. Theory Appl. 3 (2011), 155–161. MR3014717 T. Koizumi and K. Watanabe, On best possibility of an extension of Furuta inequality, Int. J. Funct. Anal. Oper. Theory Appl. 3 (2011), 155–161. MR3014717
T. Koizumi and K. Watanabe, Another consequence of Tanahashi's argument on best possibility of the grand Furuta inequality, Cent. Eur. J. Math. 2012, DOI: 10.2478/s11533-012-0061-3. T. Koizumi and K. Watanabe, Another consequence of Tanahashi's argument on best possibility of the grand Furuta inequality, Cent. Eur. J. Math. 2012, DOI: 10.2478/s11533-012-0061-3.
M.K. Kwong, On the definiteness of the solutions of certain matrix equations, Linear Albebra Appl. 108 (1988), 177–197. MR959704 0657.15011 10.1016/0024-3795(88)90187-5 M.K. Kwong, On the definiteness of the solutions of certain matrix equations, Linear Albebra Appl. 108 (1988), 177–197. MR959704 0657.15011 10.1016/0024-3795(88)90187-5
M.K. Kwong, Some results on matrix monotone functions, Linear Algebra Appl. 118 (1989), 129–153. MR995371 0679.15026 10.1016/0024-3795(89)90577-6 M.K. Kwong, Some results on matrix monotone functions, Linear Algebra Appl. 118 (1989), 129–153. MR995371 0679.15026 10.1016/0024-3795(89)90577-6
K. Tanahashi, Best possibility of the Furuta inequality, Proc. Amer. Math. Soc. 124 (1996), 141–146. MR1291794 10.1090/S0002-9939-96-03055-9 K. Tanahashi, Best possibility of the Furuta inequality, Proc. Amer. Math. Soc. 124 (1996), 141–146. MR1291794 10.1090/S0002-9939-96-03055-9
K. Tanahashi, On log-hyponormal operators, Integral Equations Operator Theory 34 (1999), 364–372. MR1689394 0935.47015 10.1007/BF01300584 K. Tanahashi, On log-hyponormal operators, Integral Equations Operator Theory 34 (1999), 364–372. MR1689394 0935.47015 10.1007/BF01300584
K. Tanahashi, The best possibility of the grand Furuta inequality, Proc. Amer. Math. Soc. 128 (2000), 511–519. MR1654088 0943.47016 10.1090/S0002-9939-99-05261-2 K. Tanahashi, The best possibility of the grand Furuta inequality, Proc. Amer. Math. Soc. 128 (2000), 511–519. MR1654088 0943.47016 10.1090/S0002-9939-99-05261-2
K. Tanahashi and A. Uchiyama, The Furuta inequality in Banach $*$-algebra, Proc. Amer. Math. Soc. 128 (2000), 1691–1695. MR1654084 0949.47016 10.1090/S0002-9939-99-05262-4 K. Tanahashi and A. Uchiyama, The Furuta inequality in Banach $*$-algebra, Proc. Amer. Math. Soc. 128 (2000), 1691–1695. MR1654084 0949.47016 10.1090/S0002-9939-99-05262-4
M. Uchiyama, A new majorization between functions, polynomials, and operator inequalities, J. Funct. Anal. 231 (2006), 221–244. MR2190170 1102.47010 10.1016/j.jfa.2005.03.005 M. Uchiyama, A new majorization between functions, polynomials, and operator inequalities, J. Funct. Anal. 231 (2006), 221–244. MR2190170 1102.47010 10.1016/j.jfa.2005.03.005
T. Yamazaki, Simplified proof Tanahashi's result on the best possibility of generalized Furuta inequality, Math. Inequal. Appl. 2 (1999), 473–477. MR1698385 T. Yamazaki, Simplified proof Tanahashi's result on the best possibility of generalized Furuta inequality, Math. Inequal. Appl. 2 (1999), 473–477. MR1698385
T. Yamazaki, On powers of class $A(k)$ operators including $p$-hyponormal and log-hyponormal operators, Math. Inequal. Appl. 3 (2000), 97–104. MR1731918 T. Yamazaki, On powers of class $A(k)$ operators including $p$-hyponormal and log-hyponormal operators, Math. Inequal. Appl. 3 (2000), 97–104. MR1731918
M. Yanagida, Powers of class $wA(s,t)$ operators associated with generalized Aluthge transformation, J. Inequal. Appl. 7 (2002), 143–168. MR1922994 1050.47018 M. Yanagida, Powers of class $wA(s,t)$ operators associated with generalized Aluthge transformation, J. Inequal. Appl. 7 (2002), 143–168. MR1922994 1050.47018
C. Yang and Y. Wang, Further extension of Furuta inequality, J. Math. Inequal. 4 (2010), 391–398. MR2724934 1207.47015 10.7153/jmi-04-35 C. Yang and Y. Wang, Further extension of Furuta inequality, J. Math. Inequal. 4 (2010), 391–398. MR2724934 1207.47015 10.7153/jmi-04-35
J.Yuan and Z.Gao, Complete form of Furuta inequality, Proc. Amer. Math. Soc., 136 (2008), 2859–2867. MR2399051 1147.47016 10.1090/S0002-9939-08-09446-X J.Yuan and Z.Gao, Complete form of Furuta inequality, Proc. Amer. Math. Soc., 136 (2008), 2859–2867. MR2399051 1147.47016 10.1090/S0002-9939-08-09446-X
J. Yuan and Z. Gao,The Furuta inequality and Furuta type operator functions under chaotic order, Acta Sci. Math. (Szeged) 73 (2007), 669–681. MR2380071 J. Yuan and Z. Gao,The Furuta inequality and Furuta type operator functions under chaotic order, Acta Sci. Math. (Szeged) 73 (2007), 669–681. MR2380071
X. Zhan, Inequalities for unitarily invariant norms, SIAM J. Matrix Anal. Appl. 20 (1998), no. 2, 466–470. MR1662421 0921.15011 10.1137/S0895479898323823 X. Zhan, Inequalities for unitarily invariant norms, SIAM J. Matrix Anal. Appl. 20 (1998), no. 2, 466–470. MR1662421 0921.15011 10.1137/S0895479898323823