|
|
Up |
  |
Author: george.klimmtgeorge.klimmt
Date: Jul 23, 2008 10:53
Bonjour,
Au détour d'un calcul de dérivation impliquant des fonctions gamma, je
rencontre la fonction suivante :
f(m,n) := trigamma(n)*trigamma(n+m) + trigamma(m)*trigamma(n+m) -
trigamma
(m)*trigamma(n)
Tout ce que je sais de la trigamma (dérivée seconde de la logGamma),
c'est qu'elle est monotone décroissante sur R+ (http://
mathworld.wolfram.com/TrigammaFunction.html).
Je voudrais montrer que la fonction f ci-dessus est toujours négative
pour tout m,n strictement positifs. Je vois numériquement que c'est
bien le cas mais ne trouve pas le moyen de le démontrer.
Tout suggestion ou piste même partielle ou approximative serait
vraiment la bienvenue !
Merci d'avance pour votre aide,
George.
|
| |
|
no comments
|
|
  |
Author: amphysique2005amphysique2005
Date: Jul 23, 2008 02:26
Mais ou en sommes nous par rapport à la Conjecture de Cantor? " L
echelle des Alephs épuise tous les infinis."
Mohwali Awamar
|
| |
|
2 Comments |
|
  |
|
|
  |
Author: mokodaf1mokodaf1
Date: Jul 22, 2008 01:53
Bonjour,
Tout d'abord je tiens à préciser que je suis une quiche en math....
mais j'y travaille ;)
Sur un plan cartésien, je possède tout les points d'une parabole et je
souhaiterais trouver le foyer et sa directrice afin de calculer son
excentricité.
Est ce possible ? comment faire ?
Merci, bonne journée
|
| |
|
11 Comments |
|
  |
Author: abourickabourick
Date: Jul 21, 2008 14:13
Ormuz a écrit :
> L’APS ne croit plus au “consensus” climatique
>
> La Société de Physique Américaine (l'APS), association scientifique
> regroupant plus de 50 mille physiciens vient de revoir sa position sur
> le réchauffement climatique. Dans sa déclaration de novembre 2007,elle
> affirmait pourtant encore que "les preuves d'un réchauffement global
> sont incontestables" et qu'il "faut réduire nos émissions de gaz à effet
> de serre dès maintenant".
>
> Avec son numéro de juillet de sa revue mensuelle Physics & Society,
> l'APS n'est plus dans le "consensus" climatique. Voici son texte
> d'introduction :
>
>
>
> "Nous invitons à débattre sur une des conclusions principales du GIEC,
> l'organisme de l'ONU qui a reçu récemment, avec Al Gore, le prix Nobel
> pour ses travaux sur la recherche sur le changement climatique. IL Y A
> UNE PRESENCE CONSIDERABLE AU SEIN DE LA COMMUNAUTE SCIENTIFIQUE DE GENS ...
|
| Show full article (1.96Kb) |
|
no comments
|
|
  |
Author: GordonGordon
Date: Jul 21, 2008 11:53
Bonjour,
Je ne cherche bien sûr pas des stats sur le poker, il y en a plein le web.
Non, ce que je voudrais savoir est la chose suivante :
Je joues au poker sur des sites en ligne et bien sûr quand je perds des
coups incroyables (ayant une chance faible de se produire) je me dis que le
jeu est truqué.
La question que je me pose est de savoir s'il est possible de déterminer si
les jeux distribués répondent bien à une distribution normal d'un jeu
reellement battu au hasard.
Pour répondre à cette question nous n'avons malheureusement pas une vision
de l'ensemble des cartes mais seulement un éclairage partiel c a d :
- au minimum : on connait les 2 cartes d'un joueur
- parfois on connait les cartes d'un joueur plus 3 à 5 cartes dites
communautaires
-parfois on peut rajouter les cartes d'un ou plusieurs autres joueurs quand
le jeu tourne à la bataille et que les jeux doivent être comparés.
Donc je répète, avec ces éléments là et il possible d'avoir la certitude que
les jeux distribués ne sont pas des jeux "choisis" et quels seraient les
critères déterminants.
|
| Show full article (1.22Kb) |
|
no comments
|
|
  |
Author: Jean Pierre MERXJean Pierre MERX
Date: Jul 19, 2008 05:37
Soit k un corps de caractéristique p > 0. On note K=k(X) le corps des
fractions rationnelles sur k, et K_0 le sous-corps k(X^p).
Comment montrer que le degré de K sur K_0 est égal à p? J'arrive bien à
montrer que 1, X, ..., X^{p-1} est une famille libre de K (sur le corps
K_0), mais pas que c'est une famille génératrice. Pouvez-vous m'en donner
une preuve? Evidemment j'arrive à prouver que 1, X, ..., X^{p-1}est une
famille génératrice de k[X] considéré comme k[X^p]-module.
Peut-on trouver une démonstration constructive? C'est à dire prenant un
élément de k(X), l'écrire comme somme A_0 * 1 + ... + A_{p-1} * X^{p-1} avec
A_0, ..., A_{p-1} dans K_0 avec un algorithme permettant de trouver ces
derniers éléments.
|
| |
|
2 Comments |
|
  |
Author: OGOG
Date: Jul 19, 2008 05:11
Question de continuité.
Je considère une fonction de L^2(exp(-x^2/2) dx) et je la développe
sur la base d'Hermite:
f(x) = \sum f_n H_n(x)
Quelle la conditions sur les f_n pour avoir la continuité de f ?
Je cherche en fait des analogues à ce qui se passe en Fourier où la
continuité relève de la sommabilité de (f_n)....
|
| |
|
2 Comments |
|
  |
Author: OGOG
Date: Jul 19, 2008 02:40
Bonjour,
Je me permet de poser une question un peu vague:
Je prend une fonction f(t,x) telle que pour tout t f(t, ) est L^2(\mu)
où mu est une mesure gaussienne.
La représentation en base d'Hermite de ma fonction s'écrit:
Sum f_n(t) H_n(x) où H_n est le nième polynome d'Hermite.
Ma question est de savoir sous quelle condition je peux dériver par
rapport à t sous le signe somme. Il me faudrait une condition assez
faible et la dérivation peut être au sens des distributions...
Des idées ?
OG.
|
| |
|
no comments
|
|
  |
Author: Laurent ClaessensLaurent Claessens
Date: Jul 18, 2008 08:52
Bonjour à toutes et à tous
Je suis à la recherche des représentations (irréductibles de
dimension finie) des groupes SO(n), et de leurs algèbres. Je voudrais
de préférence les voir dans le contexte des espaces de racines, et des
vecteurs de plus haut poids.
Pour SO(3), c'est bon. N'importe quel cours de mécanique quantique
fait ça, et traduire en termes d'espaces de racines n'est pas
compliqué.
Par contre pour les so(n), n>3, je n'ai pour ainsi dire rien trouvé
sur internet.
Ce que je sais déjà, à propos de l'algèbre so(5) c'est ceci.
Disons que J_ij est la matrice (infinitésimales) de rotation dans le
plan ij.
J'ai que A_1 = J_12 et A_3 = J_34 forment une sous algèbre de Cartan,
et que avec les matrices qu'il reste, je peux former des opérateurs de
montée et de descente, dont les suivants :
L_3^- = J__34+iJ__45
L__13^{-+} = J_13 - i J_14 +i J_23 + J_24.
|
| Show full article (1.97Kb) |
|
2 Comments |
|
|
|
|
|
|