Esplodere derivata n-esima

Silente
Ciao a tutti,
che voi sappiate è possibile rendere una espressione come questa:

$$\frac{\mathrm{d} ^n}{\mathrm{d} x^n}\left [ \frac{1}{\prod_{j=1,...,p \\ j\neq k}(x-x_j)^{m_j}} \right ] $$

meno implicita?
Nella formula \(\displaystyle p \) e i vari \(\displaystyle m_j \) sono tutti interi fissati, \(\displaystyle k \) è l'unico indice da escludere nella produttoria ed infine i vari \(\displaystyle x_j \) sono dei numeri reali fissati.

Non riesco a fare granché, già alla derivata prima i conti esplodono abbastanza:

$$\frac{\mathrm{d} }{\mathrm{d} x}\left [ \frac{1}{\prod_{j=1,...,p \\ j\neq k}(x-x_j)^{m_j}} \right ]= \frac{-\sum_{j=1,...,p \\ j\neq k}m_j\prod_{i=1,...,p \\ i\neq k}(x-x_i)^{m_i-\delta_{ij}}}{\prod_{j=1,...,p \\ j\neq k}(x-x_j)^{2m_j}}$$

dove \(\displaystyle \delta_{ij} \) è la delta di Kronecker.

Si può fare qualcosa di buono?

Grazie.

Risposte
gugo82
Non si legge nulla... Occhio alle formule.

Silente
In che senso?
Io le vedo correttamente inserite ed anche ben visualizzate.

axpgn
Adesso sì, ma solo mezz'ora fa erano segni incomprensibili …

gugo82
Mmmm... Ora le vedo ma ho dovuto caricare due volte la pagina.
Mi sa che comunque c'è qualche cosa che non va.

Per tornare IT, ci penso e ti dico.

Silente
Non so cosa dirvi, non ho modificato il messaggio se non pochi secondi dopo averlo inviato per aggiungere una informazione in più.
Comunque grazie gugo82.

pilloeffe
Ciao Ianero,

Credo che le cose si possano semplificare se invece di considerare la derivata di un quoziente consideri le potenze negative, cioè invece di

$\frac{\text{d}^n}{\text{d} x^n}[\frac{1}{\prod_{\overset{j = 1}{j \ne k}}^{p}(x-x_j)^{m_j}}] $

considerare

$\frac{\text{d}^n}{\text{d} x^n}[\prod_{\overset[j = 1]{j \ne k}}^{p}(x-x_j)^{- m_j}] $

Silente
Grazie del consiglio, domani provo a vedere se riesco a farmelo tornare utile.
Ad ogni modo una precisazione: prima quando ho scritto ‘...sono tutti interi fissati’ intendevo ‘...sono tutti naturali fissati’. Sorry.

dissonance
Prova a scomporlo in fratti semplici.

fmnq
Senza un valore preciso è piuttosto oneroso spezzarlo in fratti semplici; penso che la cosa più elegante sarebbe trovare una ricorsione che lega la derivata $n$-esima alle precedenti, oppure una qualche formula induttiva sulla coppia $p,n$.

In generale non mi aspetto sia possibile semplificare la scrittura che ottieni usando Leibniz, cioè una grande sommatoria di produttorie con indici modificati.

Una strategia alternativa è notare che \(\frac{1}{1+a-X}=\sum X^k\), e che qualcosa di simile vale per \(\frac{1}{(a_1-X)\dots (a_n-X)}\); da qui basta "fare il fisico" e far entrare di forza la derivata $n$-esima nella sommatoria \(\sum f(k)X^k\), dove $f$ è la funzione generatrice della serie formale che ti interessa. Però anche questo approccio ha dei problemi.

Silente
Per rendervi partecipi dei miei tentativi, forse un minimo di schema ordinato potrebbe esistere.
Ho chiamato \(\displaystyle w(x):=\prod_{j=1,...,p \\ j\neq k}(x-x_j)^{m_j} \) e ho trovato con un bel pò di conti:

\(\displaystyle \frac{\mathrm{d}}{\mathrm{d} x} \left [ \frac{1}{w(x)} \right ]=-\frac{1}{w(x)}\left ( \sum_{i_1\neq k}\frac{m_{i_1}}{\left (x-x_{i_1} \right )} \right ) \)



\(\displaystyle \frac{\mathrm{d}^2}{\mathrm{d} x^2} \left [ \frac{1}{w(x)} \right ]=\frac{1}{w(x)}\left ( \sum_{i_1\neq k\\ i_2\neq k}\frac{m_{i_1}m_{i_2}}{\left (x-x_{i_1} \right )(x-x_{i_2})} +\sum_{i_1\neq k}\frac{m_{i_1}}{\left (x-x_{i_1} \right )^2} \right ) \)



\(\displaystyle \frac{\mathrm{d}^3}{\mathrm{d} x^3} \left [ \frac{1}{w(x)} \right ]=-\frac{1}{w(x)}\left ( \sum_{i_1\neq k\\ i_2\neq k\\i_3\neq k}\frac{m_{i_1}m_{i_2}m_{i_3}}{\left (x-x_{i_1} \right )(x-x_{i_2})(x-x_{i_3})}+\sum_{i_1\neq k\\ i_2\neq k}\left (\frac{2m_{i_1}m_{i_2}}{\left (x-x_{i_1} \right )^2(x-x_{i_2})} + \\
+ \frac{m_{i_1}m_{i_2}}{\left (x-x_{i_1} \right )(x-x_{i_2})^2} \right ) +\sum_{i_1\neq k}\frac{2m_{i_1}}{\left (x-x_{i_1} \right )^3} \right ) \)

dissonance
Comincia a fare il caso \[
w(x)=\frac{1}{(x-a)(x-b)}, \]
vediamo se viene fuori un pattern. Di tutti i suggerimenti che sono apparsi in questo post, quello della funzione generatrice di fmnq mi sembra il più gagliardo, ma purtroppo io non sono proprio esperto di questi conti...

Al limite prova a chiedere in Fisica, lì sicuro c'è gente che ne capisce di queste cose.

otta96
Senza la pretesa di voler essere conclusivo in questa discussione voglio segnalare questa formula, che insieme alle osservazioni fatte da pilloeffe mi sembrano promettere bene, se volete divertirvi a provare a fare due conti fate pure :-D

Silente
Yes!
Sei stato invece conclusivo perché così si riesce a risolvere, anche se viene una espressione abbastanza abominevole e poco pratica, ma almeno si può fare.
Grazie ancora, e grazie a tutti quelli che ci hanno dedicato tempo.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.