Dérivée d'une primitive - Fonction à deux variables

Bonjour à tous,

J’ai la fonction $F(t)$ définie telle que $F(t) = \int\limits_t^{{t^2}} {\cos (xt)dx} $. On me demande de calculer $F'(0)$.

Dans mon cours, on a démontré une formule et en l’appliquant ça donne ceci:

Le premier terme sera donc nul en zéro. Cependant, le terme avec l’intégrale me dérange un peu. Quelle est la façon la plus simple de l’évaluer ?

Je pensais calculer $\frac{\partial }{{\partial t}}(\cos (xt)) = - x\sin xt$ et puis évaluer l’intégrale mais si j’intègre j’aurai un terme en $\frac{1}{t^2}$… Du coup, je pourrai pas évaluer cela en $t = 0$… Où est-ce que je me trompe?

Merci!

edit adri1: mise en forme equation

Faisons les choses dans l’ordre. Tu as une certaine expression de F(t), avec une intégrale. Tu peux reformuler F(t) sous une autre forme, beaucoup plus classique. Je ne vais pas faire les calculs, mais ça va ressembler à F(t) = sin(t²)/t² - sin(t)/t ou un truc comme ça. C’est l’étape la plus compliquée.

Et cette même fonction F, ainsi présentée de façon plus exploitable, tu vas savoir la dériver.

Merci Adri1. Je pense que je vois ce que tu veux dire mais je bloque dessus.

Est-ce simplement ceci?

Il y a peut-être un problème avec la dérivée interne (?).

Okay. Donc, j’ai pas du tout à calculer l’intégrale si je comprends bien car elle serait trop "compliquée" mais simplement voir que je cherche en $t = 0$ et du coup on aurait simplement $\int\limits_0^0 {\frac{\partial }{{\partial t}}(\cos (xt))dx} = 0$ ?

Donc, j’ai pas du tout à calculer l’intégrale si je comprends bien car elle serait trop "compliquée"

C’est pas qu’elle est compliquée, c’est surtout qu’il n’y a aucune raison de se fatiguer à l’écrire explicitement puisque les deux bornes sont les mêmes. En plus dans le cas présent, l’expression que tu obtiendrais serait pas définie en $t=0$.