Disuguaglianza "moderna" bis - ??bunching??

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
Avatar utente
Fabio91
Messaggi: 80
Iscritto il: 04 giu 2007, 14:22

Disuguaglianza "moderna" bis - ??bunching??

Messaggio da Fabio91 » 14 feb 2010, 14:59

in realtà è sempre la stessa disuguaglianza, ma questa soluzione penso meriti un topic tutto per sé: :D
infatti moltiplicando il moltiplicabile, semplificando il semplificabile e omogenizzando l'omogenizzabile si ottiene che

$ $ \frac{1}{2+a^{2}+b^{2}}+\frac{1}{2+b^{2}+c^{2}}+\frac{1}{2+c^{2}+a^{2}}\leq\frac{3}{4} $ $

è equivalente a

$ 11\sum{a^6}+657\sum{a^4b^2}+132\sum{a^2b^2c^2} \geq 36\sum{a^5b}+210\sum{a^4bc}+14\sum{a^3b^3}+540\sum{a^3b^2c} $
(dove tutte le somme sono somme simmetriche)

Sì è diabolica... :D

PS @fph: questa puoi veramente considerarla come la mia vendetta per la Vasc :wink:


Cmq, any idea???
Fabio91

Avatar utente
Anér
Messaggi: 720
Iscritto il: 03 giu 2008, 21:16
Località: Sabaudia

Messaggio da Anér » 14 feb 2010, 16:28

Scusa, qual è il vincolo su a, b, c?
Sono il cuoco della nazionale!

Avatar utente
Fabio91
Messaggi: 80
Iscritto il: 04 giu 2007, 14:22

Messaggio da Fabio91 » 14 feb 2010, 17:58

ah, ok, nella disuguaglianza originale (che cmq trovi in un topic poco distante) si ha a,b,c reali positivi a somma 3.
Fabio91

Avatar utente
kn
Messaggi: 508
Iscritto il: 23 lug 2007, 22:28
Località: Sestri Levante (Genova)
Contatta:

Messaggio da kn » 14 feb 2010, 18:11

Si può migliorare un po' la situazione:
da $ \displaystyle~(b+c-2a)^6+(c+a-2b)^6+(a+b-2c)^6\ge 0 $ dividendo per 3 e semplificando
$ \displaystyle~\sum(11 a^6 + 105 a^4b^2 + 60 a^4bc + 60 a^2b^2c^2) \ge \sum(66 a^5b + 50 a^3b^3 + 120 a^3b^2c) $
da cui $ \displaystyle~\sum(11 a^6 + 657 a^4b^2 + 132 a^2b^2c^2) \ge $$ \displaystyle~\sum(66 a^5b + 50 a^3b^3 + 120 a^3b^2c + 552 a^4b^2 - 60 a^4bc + 72 a^2b^2c^2) $
rimane da mostrare che
$ \displaystyle~\sum(66 a^5b + 552 a^4b^2 + 50 a^3b^3 + 120 a^3b^2c + 72 a^2b^2c^2) \ge $$ \displaystyle~\sum(36 a^5b + 270 a^4bc + 14 a^3b^3 + 540 a^3b^2c) $
cioè semplificando
$ \displaystyle~\sum(5 a^5b + 92 a^4b^2 + 6 a^3b^3 + 12 a^2b^2c^2) \ge \sum(45 a^4bc + 70 a^3b^2c) $
che mi pare vera, come pure questa (più forte per Bunching):
$ \displaystyle~\sum(26 a^4b^2 + 3 a^3b^3 + 6 a^2b^2c^2) \ge \sum(35 a^3b^2c) $
non garantisco che siano vere le ultime 2 però da qualche grafico promettono bene.. :o
Viviamo intorno a un mare come rane intorno a uno stagno. (Socrate)

Avatar utente
Maioc92
Messaggi: 778
Iscritto il: 21 apr 2009, 21:07
Località: REGGIO EMILIA

Messaggio da Maioc92 » 14 feb 2010, 19:27

io dico di partire dall'idea che $ (a^3+abc-2a^2b)^2\ge 0 $. Sommando con le sue simmetriche si dovrebbe ottenere (se non ho sbagliato) che $ \displaystyle \sum a^6+\sum a^2b^2c^2+4\sum a^4b^2+2\sum a^4bc\ge 4\sum a^5b+4\sum a^3b^2c $, dove come al solito tutte le somme sono simmetriche.
Usando questo fatto tutto il resto dovrebbe venire per AM-GM e bunching. Se qualcuno mi conferma che l'idea va bene ma che magari c'è qualcos'altro di poco chiaro, allora scrivo tutto per intero.

P.S: grazie fabio per i calcoli, io invece di 20 minuti probabilmente ci avrei messo un'ora e mezzo :roll:
Il tempo svela ogni cosa......ma allora perchè quel maledetto problema non si risolve da solo?!

Avatar utente
ghilu
Messaggi: 177
Iscritto il: 06 gen 2008, 18:14
Località: bergamo

Messaggio da ghilu » 14 feb 2010, 23:44

@kn: la seconda è vera se trovi l'AM-GM che ti "uccida" i termini più antipatici (non cercare mostruosità, è (per fortuna), sempliciotta).
Non si smette mai di imparare.

Avatar utente
ghilu
Messaggi: 177
Iscritto il: 06 gen 2008, 18:14
Località: bergamo

Messaggio da ghilu » 15 feb 2010, 00:00

@Maioc92: sì, funziona, con una AM-GM utilizzata per lo stesso motivo.
Non si smette mai di imparare.

Rispondi