Pathy Kyungu
Site officiel du Professeur Pathy Kyungu
Fondateur de l'Analyse Sommatielle · Recherches
Fondateur de l'Analyse Sommatielle · Recherches
Pathy Kyungu Ngoïe est un chercheur indépendant originaire de la République Démocratique du Congo (RDC) et le fondateur de l’Analyse Sommatielle. Passionné de mathématiques dès l’adolescence, il commence ses recherches personnelles à l’âge de 16 ans, explorant notamment les séries, les transformées intégrales et les structures analytiques des fonctions spéciales.
En 1999 (19 ans), ses aptitudes en mathématiques attirent l’attention de son entourage et des autorités locales du Katanga, qui envisagent de l’orienter vers des études scientifiques avancées. Les circonstances socio-politiques de l’époque interrompent toutefois ces initiatives, et il poursuit ses recherches de manière indépendante.
En 2000, il introduit le Sommatiel, qu’il définit comme le prolongement analytique naturel d’une somme discrète. Cette construction constitue le point de départ de ses recherches visant à établir un cadre analytique reliant les structures discrètes et continues.
En 2002, il introduit un second outil analytique original qu’il nomme initialement « le Kyunien d’une fonction ». Cet opérateur est conçu notamment pour étudier le problème de la dérivation d’une somme par rapport à sa borne supérieure.
En 2010, dans le cadre d’une fondation collaborative destinée à structurer ses travaux, le Kyunien est rebaptisé « hyper-différentiel ». Cette période constitue une étape de développement et de formalisation de l’opérateur.
En avril 2016, à la suite de la rupture avec la fondation collaborative, il reprend la poursuite de ses recherches de manière indépendante et rebaptise définitivement l’opérateur Hypersommatiel, afin de l’inscrire dans le cadre théorique propre de l’Analyse Sommatielle. Le Sommatiel et l’Hypersommatiel constituent ainsi les deux outils fondamentaux de cette théorie.
Il développe pour ces opérateurs des représentations intégrales prolongées au plan complexe, faisant intervenir un contour de Hankel combiné à des micro-contours isolés autour des singularités de type Dirac, ainsi que la transformée de Laplace inverse. Ses recherches sur cette transformée conduisent notamment à l’établissement de la Formule Générale Unifiée de Kyungu, une représentation sérielle proposée comme alternative à l’intégrale de Bromwich-Wagner.
Aujourd’hui, il poursuit le développement de l’Analyse Sommatielle et publie ses travaux scientifiques en accès libre, notamment sur Zenodo. Il partage également sa passion pour les mathématiques et la pédagogie sur les réseaux sociaux sous le nom Le Professeur des Maths.
“Rien n’est fondamental en soi. Une connaissance ne devient fondamentale que pour celui qui choisit de la considérer comme telle.”
— Professeur Pathy Kyungu
C'est la forme fondamentale de la méthode pour les fonctions dont la fonction auxiliaire \(\varphi(x) = F(1/x)\) est analytique en \(x=0\) :
\[ \mathcal{L}^{-1}[F](t) = \varphi(0)\,\delta(t) + \sum_{n=1}^{\infty} \frac{n}{(n!)^2} \, \varphi^{(n)}(0) \, t^{n-1} \]
\[ \text{avec } \varphi(x) = F\Big(\frac{1}{x}\Big) \]
Cette application démontre la capacité de la formule à traiter les singularités essentielles à l'infini.
1. Fonction auxiliaire : \(\varphi(x) = e^{ax}\)
2. Développement : \(\varphi(0) = 1\) et \(\varphi^{(n)}(0) = a^n\)
3. Résultat via Formule de Kyungu :
\[ \mathcal{L}^{-1}[e^{a/p}](t) = \delta(t) + \sum_{n=1}^{\infty} \frac{n}{(n!)^2} \, a^n \, t^{n-1} \]
4. Forme fermée : Identifiée par la fonction de Bessel modifiée :
\[ f(t) = \delta(t) + \sqrt{\frac{a}{t}} \, I_1(2\sqrt{at}) \]
Pour une fonction auxiliaire \(\varphi(x) = F(1/x)\) admettant un développement de la forme \(\sum c_n x^{\alpha_n}\), la transformée inverse s'écrit au sens des distributions :
\[ \mathcal{L}^{-1}[F](t) = \underbrace{\sum_{\alpha_n > 0} \frac{c_n}{\Gamma(\alpha_n)} t^{\alpha_n - 1}}_{\text{Partie régulière}} + \underbrace{\sum_{\alpha_j = -m \le 0} c_j \delta^{(m)}(t)}_{\text{Termes singuliers}} \]
Description de la formule : La transformation unifiée de Kyungu pour la transformée inverse de Laplace décompose l'opérateur linéaire en deux composantes distinctes au sens des distributions : une partie régulière (sommation indexée sur l'exposant alpha strictement supérieur à zéro, pondérée par la fonction Gamma) et un ensemble de termes singuliers (sommation sur les exposants alpha négatifs ou nuls, modélisée par les dérivées m-ièmes de la distribution delta de Dirac).
La même relation s'exprime sous forme intégrale dans le plan complexe via le théorème des résidus de Cauchy :
\[ \mathcal{L}^{-1}[F](t) = \frac{1}{2 \pi i} \oint_{\Gamma} \frac{\varphi(z)}{z^2} \, e^{t/z} \, dz, \quad \varphi(z) = F\Big(\frac{1}{z}\Big) \]
Ainsi, la forme série se prête parfaitement aux calculs explicites ou numériques, tandis que la forme intégrale offre le cadre géométrique adapté aux méthodes analytiques complexes.
En tant qu'outil de l'Analyse Sommatielle, la transformée de Mellin inverse se construit en prolongement direct du formalisme de Laplace.
La transformée de Mellin inverse se relie à la transformée de Laplace inverse par le changement de variable logarithmique \(t = -\ln x\) :
\[ \mathcal{M}^{-1}[F](x) = \mathcal{L}^{-1}[F](-\ln x) \]
Développement en série logarithmique autour du point critique \(x = 1\) :
\[ \mathcal{M}^{-1}[F](x) = \varphi(0) \, \delta(1 - x) + \sum_{n=1}^{\infty} \frac{n}{(n!)^2} \, \varphi^{(n)}(0) \, (-\ln x)^{n-1} \]
\[ \varphi(x) = F\Big(\frac{1}{x}\Big) \]
Version intégrale de contour opérant autour de la singularité d'origine :
\[ \mathcal{M}^{-1}[F](x) = \frac{1}{2 \pi i} \oint_{\Gamma} \frac{\varphi(z)}{z^2} \, x^{-1/z} \, dz \]
\[ \varphi(z) = F\Big(\frac{1}{z}\Big) \]
Le calcul sommatiel étend analytiquement la somme discrète classique :
\[ S(n) = \sum_{k=1}^{n} F(k) \]
Il prolonge cette somme aux valeurs réelles ou complexes de \( n = x \), fournissant une version continue et analytique de la somme discrète. On note alors :
\[ S(x) = [F]_x \]
Le sommatiel admet une représentation intégrale sur l'axe réel positif, étendu à l'origine gauche pour capturer proprement les distributions à l'origine :
\[ S(x) = \int_{0^-}^{+\infty} \frac{1 - e^{-x t}}{e^{t} - 1} \, \mathcal{L}^{-1}[F](t) \, dt \]
Note sur le prolongement : Cette intégration réelle s'étend discrètement sur \(\mathbb{R}^-\) par de petits contours isolés pour englober les singularités réelles négatives s'il en existe, évitant ainsi toute divergence de l'intégrande vers l'infini négatif.
Dans le cas limite \( x \to \infty \), pour une fonction \( F \) à décroissance rapide, le sommatiel se réduit naturellement à la somme infinie sous sa forme distributionnelle :
\[ [F]_x \xrightarrow[x \to \infty]{} \sum_{k=1}^{\infty} F(k) = \int_{0^-}^{+\infty} \frac{\mathcal{L}^{-1}[F](t)}{e^t - 1} \, dt \]
L’hypersommatiel est défini comme la limite paramétrique du sommatiel :
\[ F,(s) = \lim_{x \to 0} \frac{[F(sx)]_x}{x} \]
Note sur la notation : La notation « virgule » de \( F,(s) \) joue pour l’hypersommatiel le même rôle structurel et conceptuel que l’apostrophe \( F'(x) \) pour la dérivée classique dans la notation lagrangienne.
L'hypersommatiel régit également le critère d'hyperconvergence : l'hypersommation terme à terme d'une série de Taylor n'est licite que si le rayon de convergence de la série hypersommée résultante est non nul. Si l'effacement des monômes (notamment impairs) masque l'information analytique, le critère s'étudie rigoureusement sur la dérivée de la fonction. En cas de non-hyperconvergence, le recours à la formule intégrale complexe est obligatoire.
La relation différentielle fondamentale de l'Analyse Sommatielle s'exprime par la règle de dérivation suivante, mettant en évidence le rôle de l'hypersommatiel comme opérateur de correction structurelle :
\[ \frac{d}{dx} [F(sx)]_x = \left[ \frac{d}{dx} F(sx) \right]_x + F,(s) \]
Le prolongement de l'hypersommatiel à tout le plan complexe s'écrit de manière universelle sous la forme d'une unique intégrale de contour topologique :
\[ F,(s) = \oint_{\Gamma} \frac{st}{e^{st} - 1} \, \mathcal{L}^{-1}[F](t) \, dt \]
où le domaine géométrique global d'intégration \(\Gamma\) fusionne la régularisation continue et la capture discrète :
\[ \Gamma = \mathcal{H}_{0^-} \cup \left( \bigcup_{k} \gamma_k \right) \]
Ici, \(\mathcal{H}_{0^-}\) représente le lacet de Hankel enveloppant l'origine gauche, et \(\bigcup_{k} \gamma_k\) désigne l'ensemble disjoint de petits contours isolés entourant individuellement chaque singularité (réelle négative ou complexe imaginaire isolée).
La Formule Sommatoire de Kyungu relie ces concepts :
\[ s\sum_{k=1}^{\infty} F(sk) = \left[\int_{s}^{\infty} F(t)\, dt\right],(s) \]
Ces formules établissent un pont entre les séries discrètes, les intégrales continues et les transformations de Laplace, offrant une base analytique pour la généralisation de la formule d’Euler–Maclaurin et l’introduction du calcul hypersommatiel.
Issue des fondements de l'Analyse Sommatielle développée par Pathy Kyungu, cette expression étend la formule classique d’Euler–Maclaurin à un paramètre décalé \(c\). Elle relie la somme discrète translatée à son équivalent intégral et aux dérivées successives de la fonction \(f\) :
\[ \sum_{k=a+c}^{b+c-1} f(k) = \int_{a}^{b} f(t)\,dt + \sum_{n=1}^{\infty} \frac{B_n(c)}{n!} \, \big( f^{(n-1)}(b) - f^{(n-1)}(a) \big) \]
Cette formule sommatielle de Kyungu constitue une extension fondamentale de l'Analyse Sommatielle. En paramétrant le décalage de l'indice, elle contribue à unifier les notions de série, d’intégrale et de calcul différentiel dans une même structure analytique cohérente.
Email : leprofesseurkyungu@gmail.com
