Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 29-06-2023 13:54:05

Spike
Invité

Dérivée dans une algèbre de Banach

Bonjour à toutes et à tous,

J'espère que vous vous portez pour le mieux. J'aurais, je vous prie, une question sur les algèbres de Banach, en analyse.

Soit A be une algèbre de Banach complète d'unité e et φ : A → A a une application continue antilinéaire (au sens utilisé en anglais) tel que φ(exp(x)) soit inversible, pour tout x dans A. Soit f une fonction de l'ensemble des complexe vers A définie par:
f(λ) = [φ(exp(λx))]y[φ(exp(λx))]−1

1/ Comment puis-je calculer la dérivée de f par rapport à λ? Je ne sais pas en particulier comment calculer la dérivée de [φ(exp(λx))]−1.
2/ Comment montrer que f est harmonique?
D'avance un grand merci pour votre aide!

#2 29-06-2023 13:56:03

Spike
Invité

Re : Dérivée dans une algèbre de Banach

Pour la 2/, je me propose de poser lambda = a + ib, ou a et b sont des réels.
Et de calculer le laplacien de f, en la voyant comme une fonction de a et de b.
Mais pour ce faire, encore faut-il savoir dériver [φ(exp(λx))]−1

Qu'en pensez-vous?

#3 29-06-2023 14:27:12

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 352

Re : Dérivée dans une algèbre de Banach

Bonjour,

  Le point clé, c'est la formule de la dérivée (ou de la différentielle) d'une composée.
Commence par poser $\psi(\lambda)=\varphi(\exp(\lambda x))=\varphi \circ \exp(\lambda x).$

Tu as, par la formule de la dérivée d'une composée,
$$\psi'(\lambda)=d\varphi(\exp(\lambda x))( u'(\lambda))$$
où j'ai posé $u(\lambda)=\exp(\lambda x).$ La différentielle d'une application antilinéaire est facile à obtenir.
Concernant la dérivée de $u,$ tu peux écrire
$$\frac{u(\lambda +h)-u(\lambda)}{h}= \frac{ \exp((\lambda+h)x)-\exp(\lambda x)}{h}=\exp(\lambda x)\frac{\exp( hx)-Id}{h}$$
puis utiliser le fait que le dernier quotient tend vers $x$ (par une écriture en série de l'exponentielle).

Quand tu ajoutes l'inverse, il faut faire pareil en tenant compte cette fois de la différentielle de l'inverse.

F.

Hors ligne

#4 29-06-2023 16:36:06

Spike
Invité

Re : Dérivée dans une algèbre de Banach

Merci beaucoup pour votre réponse rapide monsieur!

Pourrais-je abuser de votre gentillesse et vous demander comment s’écrit justement la différentielle de l’inverse dans ce cas?

Bien à vous

Bien à vous,
Spike

#5 29-06-2023 20:32:29

Spike
Invité

Re : Dérivée dans une algèbre de Banach

Je vais essayer de détailler mon raisonnement.
S'il vous plaît si quelqu'un pourrait me corriger, ça me serait très utile.

En reprenant les notations de Monsieur Fred:

[img=mathématiques]/Users/ffbenchakroungmail.com/Desktop/thumbnail_IMG_5687.jpg[/img]
[img=maths]/Users/ffbenchakroungmail.com/Desktop/thumbnail_IMG_5688.jpg[/img]

J'ai utilisé comme arguments principaux:
- la convergence normale dans A permettant de faire tendre h vers 0 au sein de la somme
- le fait que si ψ est une fonction de l'ensemble des complexes vers A telle que définie ci-haut: ψ'(λ) = dψ(λ)

Merci de bien vouloir me corriger si je fais erreur.
Bien à vous,
Spike

#6 29-06-2023 20:43:45

Spike
Invité

Re : Dérivée dans une algèbre de Banach

Spike a écrit :

Je vais essayer de détailler mon raisonnement.
S'il vous plaît si quelqu'un pourrait me corriger, ça me serait très utile.

En reprenant les notations de Monsieur Fred:
https://imagizer.imageshack.com/img924/4769/Bz6ZES.png
https://imagizer.imageshack.com/img923/6853/BZ6Lkt.png
https://imagizer.imageshack.com/img924/8231/zDSbS8.jpg

J'ai utilisé comme arguments principaux:
- la convergence normale dans A permettant de faire tendre h vers 0 au sein de la somme
- le fait que si ψ est une fonction de l'ensemble des complexes vers A telle que définie ci-haut: ψ'(λ) = dψ(λ)

Merci de bien vouloir me corriger si je fais erreur.
Bien à vous,
Spike

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
quatre-vingt dix-sept moins trente six
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums