L'objectif de ce travail est l'étude des équations différentielles complètes du second ordre de type elliptique à coefficients opérateurs dans un espace de Banach X quelconque. Une application concrète de ces équations est détaillée, il s'agit d'un problème de transmission du potentiel électrique dans une cellule biologique où la membrane constitue une couche mince. L'originalité de ce travail réside particulièrement dans le fait que les opérateurs non bornés considérés ne commutent pas nécessairement. Une nouvelle hypothèse dite de non commutativité est alors introduite. L'analyse est faite dans deux cadres fonctionnels distincts: les espaces de Hölder et les espaces Lp (avec X un espace UMD). L'équation est d'abord étudiée sur la droite réelle puis sur un intervalle borné avec conditions aux limites de Dirichlet. On donne des résultats d'existence, d'unicité et de régularité maximale de la solution classique sous des conditions sur les données dans des espaces d'interpolation. Les techniques utilisées sont basées sur la théorie des semi-groupes, le calcul fonctionnel de Dunford et la théorie de l'interpolation. Ces résultats sont tous appliqués à des équations aux dérivées partielles concrètes de type elliptique ou quasi-elliptique.

Cette thèse se propose d'obtenir des résultats statistiques sur les zéros non-triviaux de fonctions L. Dans le cas des fonctions L de formes modulaires, on prouve qu'une proportion positive explicite de zéros non-triviaux se situe sur la droite critique. Afin d'arriver à ce résultat, il nous faut préalablement étendre un théorème sur les problèmes de convolution avec décalage additif en moyenne de manière à déterminer le comportement asymptotique du second moment intégral ramolli d'une fonction L de forme modulaire au voisinage de la droite critique. Une autre partie de cette thèse, indépendante de la précédente, est consacrée à l'étude du plus petit zéro non-trivial d'une famille de fonctions L. Ces résultats sont en particulier appliqués aux fonctions L de puissance symétrique.

Cette thèse est consacrée à l'étude de la dynamique des systèmes complexes. Nous construisons des réseaux couplés à partir de multiples instances de systèmes dynamiques déterministes, donnés par des équations différentielles ordinaires ou des équations aux dérivées partielles de type parabolique, qui décrivent un problème d'évolution. Nous étudions le lien entre la dynamique interne à chaque nœud du réseau, les éléments de la topologie du graphe portant ce réseau, et sa dynamique globale. Nous recherchons les conditions de couplage qui favorisent une dynamique globale particulière à l'échelle du réseau, et étudions l'impact des interactions sur les bifurcations identifiées sur chaque nœud. Nous considérons en particulier des réseaux couplés de systèmes de réaction-diffusion, dont nous étudions le comportement asymptotique, en recherchant des régions positivement invariantes, et en démontrant l'existence d'attracteurs exponentiels de dimension fractale finie, à partir d'estimations d'énergie qui révèlent la nature dissipative de ces réseaux de systèmes de réaction-diffusion. Ces questions sont étudiées dans le cadre de quelques applications. En particulier, nous considérons un modèle mathématique pour l'étude géographique des réactions comportementales d'individus, au sein d'une population en situation de catastrophe. Nous présentons les éléments de modélisation associés, ainsi que son étude mathématique, avec une analyse de la stabilité des équilibres et de leurs bifurcations. Nous établissons l'importance capitale des chemins d'évacuation dans les réseaux complexes construits à partir de ce modèle, pour atteindre l'équilibre attendu de retour au comportement du quotidien pour l'ensemble de la population considérée, tout en évitant une propagation du comportement de panique. D'autre part, la recherche de solutions périodiques émergentes dans les réseaux d'oscillateurs nous amène à considérer des réseaux complexes de systèmes hamiltoniens pour lesquels nous construisons des perturbations polynomiales qui provoquent l'apparition de cycles limites, problématique liée au XVIème problème de Hilbert. / This thesis is devoted to the study of the dynamics of complex systems. We consider coupled networks built with multiple instances of deterministicdynamical systems, defined by ordinary differential equations or partial differential equations of parabolic type, which describe an evolution problem.We study the link between the internal dynamics of each node in the network, its topology, and its global dynamics. We analyze the coupling conditions which favor a particular dynamics at the network's scale, and study the impact of the interactions on the bifurcations identified on each node. In particular, we consider coupled networks of reaction-diffusion systems; we analyze their asymptotic behavior by searching positively invariant regions, and proving the existence of exponential attractors of finite fractal dimension, derived from energy estimates which suggest the dissipative nature of those networks of reaction-diffusion systems.Our framework includes the study of multiple applications. Among them, we consider a mathematical model for the geographical analysis of behavioral reactions of individuals facing a catastrophic event. We present the modeling choices that led to the study of this evolution problem, and its mathematical study, with a stability and bifurcation analysis of the equilibria. We highlight the decisive role of evacuation paths in coupled networks built from this model, in order to reach the expected equilibrium corresponding to a global return of all individuals to the daily behavior, avoiding a propagation of panic. Furthermore, the research of emergent periodic solutions in complex networks of oscillators brings us to consider coupled networks of hamiltonian systems, for which we construct polynomial perturbationswhich provoke the emergence of limit cycles, question which is related to the sixteenth Hilbert's problem.

Cette thèse est consacrée à l'étude d'une classe d'équations différentielles à retard dépendant de l'état -- ces équations provenant d'un modèle structuré en taille. La principale motivation de cette thèse provient de la volonté d'ajuster les paramètres du système d'équations étudiées vis-à-vis des données générées par un simulateur de forêts, appelé SORTIE. Deux types de forêts sont étudiés ici: d'une part une forêt ne comportant qu'une seule espèce d'arbre, et d'autre part une forêt comportant deux espèces d'arbres (au chapitre 2). Les simulations numériques du système d'équations correspondent relativement bien aux données générées par SORTIE, ce qui montre que le système considéré peut être utilisé afin d'écrire la dynamique de populations d'une forêt. De plus, un modèle plus étendu prenant en compte la position spatiale des arbres est proposé dans le chapitre 2, dans le cas de forêts possédant deux espèces d'arbres. Les simulations numériques de ce modèle permettent de visualiser la propagation spatiale des forêts. Les chapitres 3 et 4 se concentrent sur l'analyse mathématique des équations différentielles à retard considérées. Les propriétés du semi-flot associé au système sont étudiées au chapitre 3, où l'on démontre en particulier que ce semi-flot n'est pas continu en temps. Le caractère dissipatif et borné du semi-flot, pour des modèles de forêts comportant une ou deux espèces d'arbres, est étudié dans le chapitre 4. En outre, afin d'étudier la dynamique de population d'une forêt (d'une seule espèce d'arbre) après l'introduction d'un parasite, nous construisons dans le chapitre 5 un système proie-prédateur dont la proie (à savoir la forêt) est modélisée par le système d'équations différentielles à retard dépendant de l'état étudié auparavant, et dont le prédateur (à savoir le parasite) est modélisé par une équation différentielle ordinaire. De nombreuses simulations numériques associées à différents scénarios sont faites, afin d'explorer le comportement complexe des solutions du au couplage proie-prédateur et les équations à retard dépendant de l'état. / This thesis is devoted to the studies of a class of state-dependent delay differential equations. This class of equations is derived from a size-structured model.The motivation comes from the parameter fittings of this system to a forest simulator called SORTIE. Cases of both single species forest and two-species forest are considered in Chapter 2. The numerical simulations of the system correspond relatively very well to the forest data generated by SORTIE, which shows that this system is able to be used to describe the population dynamics of forests. Moreover, an extended model considering the spatial positions of trees is also proposed in Chapter 2 for the two-species forest case. From the numerical simulations of this spatial model one can see the diffusion of forests in space. Chapter 3 and 4 focus on the mathematical analysis of the state-dependent delay differential equations. The properties of semiflow generated by this system are studied in Chapter 3, where we find that this semiflow is not time-continuous. The boundedness and dissipativity of the semiflow for both single species model and multi-species model are studied in Chapter 4. Furthermore, in order to study the population dynamics after the introduction of parasites into a forest, a predator-prey system consisting of the above state-dependent delay differential equation (describing the forest) and an ordinary differential equation (describing the parasites) is constructed in Chapter 5 (only the single species forest is considered here). Numerical simulations in several scenarios and cases are operated to display the complex behaviours of solutions appearing in this system with the predator-prey relation and the state-dependent delay.

Cette thèse se propose d’obtenir des résultats statistiques sur les zéros non-triviaux de fonctions L. Dans le cas des fonctions L de formes modulaires, on prouve qu’une proportion positive explicite de zéros non-triviaux se situe sur la droite critique. Afin d’arriver à ce résultat, il nous faut préalablement étendre un théorème sur les problèmes de convolution avec décalage additif en moyenne de manière à déterminer le comportement asymptotique du second moment intégral ramolli d’une fonction L de forme modulaire au voisinage de la droite critique. Une autre partie de cette thèse, indépendante de la précédente, est consacrée à l'étude du plus petit zéro non-trivial d’une famille de fonctions L. Ces résultats sont en particulier appliqués aux fonctions L de puissance symétrique. / The purpose of this dissertation is to get some statistical results related to nontrivial zeros of L-functions. In the modular case, we prove and determine an explicit positive proportion of non-trivial zeros lying on the critical line. In order to obtain this result, we need to extend a theorem on shifted convolution sums on average to be able to determine the asymptotic behaviour of the mollified second integral moment of a modular L-function close to the critical line. Independently of these results, we study the smallest non-trivial zero in a family of L-functions. These results are applied to symmetric power L-functions.

Le nombre croissant d’essais cliniques pour le traitement du cancer a conduit à la standardisation de l’évaluation de la réponse tumorale. Dans les essais cliniques de phase III des cancers avancés, la survie sans progression est souvent appliquée comme un critère de substitution pour la survie globale. Pour les tumeurs solides, la progression est généralement définie par les critères RECIST qui utilisent l’information sur le changement de taille des lésions cibles et les progressions de la maladie non-cible. Malgré leurs limites, les critères RECIST restent l’outil standard pour l’évaluation des traitements. En particulier, la taille tumorale mesurée au cours de temps est utilisée comme variable ponctuelle catégorisée pour identifier l’état d’un patient. L’approche statistique de la modélisation conjointe permet une analyse plus précise des marqueurs de réponse tumorale et de la survie. En outre, les modèles conjoints sont utiles pour les prédictions dynamiques individuelles. Dans ce travail, nous avons proposé d’appliquer un modèle conjoint trivarié pour des données longitudinales (taille tumorale), des évènements récurrents (les progressions de la maladie non-cible) et la survie. En utilisant des mesures de capacité prédictive, nous avons comparé le modèle proposé avec un modèle pour les progressions tumorales, définies selon les critères standards et la survie. Pour un essai clinique randomisé porté sur le cancer colorectal, nous avons trouvé une meilleure capacité prédictive du modèle proposé. Dans la deuxième partie, nous avons développé un logiciel en libre accès pour l’application de l’approche de modélisation conjointe proposée et les prédictions. Enfin, nous avons étendu le modèle à une analyse plus sophistiquée de l’évolution tumorale à l’aide d’un modèle mécaniste. Une équation différentielle ordinaire a été mise en œuvre pour décrire la trajectoire du marqueur biologique en tenant compte les caractéristiques biologiques de la croissance tumorale. Cette nouvelle approche contribue à la recherche clinique sur l’évaluation d’un traitement dans les essais cliniques grâce à une meilleure compréhension de la relation entre la réponse tumorale et la survie. / The increasing number of clinical trials for cancer treatments has led to standardization of guidelines for evaluation of tumor response. In phase III clinical trials of advanced cancer, progression-free survival is often applied as a surrogate endpoint for overall survival (OS). For solid tumors, progression is usually defined using the RECIST criteria that use information on the change of size of target lesions and progressions of non-target disease. The criteria remain the standard tool for treatment evaluation despite their limitations. In particular, repeatedly measured tumor size is used as a pointwise categorized variable to identify a patient’s status. Statistical approach of joint modeling allows for more accurate analysis of the tumor response markers and survival. Moreover, joint models are useful for individual dynamic predictions of death using patient’s history. In this work, we proposed to apply a trivariate joint model for a longitudinal outcome (tumor size), recurrent events (progressions of non-target disease) and survival. Using adapted measures of predictive accuracy we compared the proposed joint model with a model that considered tumor progressions defined within standard criteria and OS. For a randomized clinical trial for colorectal cancer patients, we found better predictive accuracy of the proposed joint model. In the second part, we developed freely available software for application of the proposed joint modeling and dynamic predictions approach. Finally, we extended the model to a more sophisticated analysis of tumor size evolution using a mechanistic model. An ordinary differential equation was implemented to describe the trajectory of the biomarker regarding the biological characteristics of tumor size under a treatment. This new approach contributes to clinical research on treatment evaluation in clinical trials by better understanding of the relationship between the markers of tumor response with OS.

Les travaux exposés dans cette thèse sont consacrés à l’étude de méthodesprécises pour approcher des équations différentielles stochastiques ou deséquations aux dérivées partielles (EDP) déterministes. La première parties’inscrit dans le cadre du développement de méthodes visant à corriger le biaisdans les processus de diffusion paramétrique. Trois modèles sont étudiés enparticulier : Ornstein-Uhlenbeck, Auto-régressif et Moyenne mobile. A l’issuede ce travail, plusieurs approximations de biais ont été proposées suivant deuxapproches : la première consiste en un développement de Taylor del’estimateur obtenu alors que la seconde s'appuie sur une expansionstochastique de celui-ci.La deuxième partie de cette thèse porte sur l’approximation de l’équation de lachaleur obtenue après changement de variables à partir du modèle de Black etScholes. En général, on préfère utiliser des méthodes implicites pour résoudredes EDP paraboliques mais depuis quelques années, les méthodes dites deRunge-Kutta explicites stabilisées, sont de plus en plus utilisées. Nousmontrons que l’utilisation de ce type de méthodes explicites et notamment lesschémas ROCK donnent de très bons résultats même si les conditions initialessont peu régulières, ce qui est le cas dans les modèles financiers / The work presented in this thesis is devoted to the study of precise methods forapproximating stochastic differential equations (SDE) or deterministic partialdifferential equations (PDE). The first part is devoted to the development ofbias correction methods in parametric diffusion processes. Three models arestudied in particular : Ornstein-Uhlenbeck, auto-regressive and Movingaverage. At the end of this work, several approximations of bias have beenproposed following two approaches : the first consists in a Taylor developmentof the obtained estimator while the second one relies on a stochastic expansionof the latter.The second part of this thesis deals with the approximation of the heatequation obtained after changing variables from the Black-Scholes model. Likethe vast majority of PDE, this equation does not have an exact solution, sosolutions must be approached using explicit or implicit time schemes. Itis often customary to prefer the use of implicit methods to solve parabolic PDEsuch as the heat equation, but in the past few years, the stabilized explicitRunge-Kutta methods which have the largest possible domains of stabilityalong the negative real axis, are increasingly used. We show that the useof this type of explicit methods and in particular the ROCK (Runge-Orthogonal-Chebyshev-Kutta) schemes give very good results even if the initial conditionsare not very regular, which is the case in the financial models

Cette thèse traite de la classification analytique du déploiement de systèmes différentiels linéaires ayant une singularité irrégulière. Elle est composée de deux articles sur le sujet: le premier présente des résultats obtenus lors de l'étude de la confluence de l'équation hypergéométrique et peut être considéré comme un cas particulier du second; le deuxième contient les théorèmes et résultats principaux. Dans les deux articles, nous considérons la confluence de deux points singuliers réguliers en un point singulier irrégulier et nous étudions les conséquences de la divergence des solutions au point singulier irrégulier sur le comportement des solutions du système déployé. Pour ce faire, nous recouvrons un voisinage de l'origine (de manière ramifiée) dans l'espace du paramètre de déploiement $\epsilon$. La monodromie d'une base de solutions bien choisie est directement reliée aux matrices de Stokes déployées. Ces dernières donnent une interprétation géométrique aux matrices de Stokes, incluant le lien (existant au moins pour les cas génériques) entre la divergence des solutions à $\epsilon=0$ et la présence de solutions logarithmiques autour des points singuliers réguliers lors de la résonance. La monodromie d'intégrales premières de systèmes de Riccati correspondants est aussi interprétée en fonction des éléments des matrices de Stokes déployées. De plus, dans le second article, nous donnons le système complet d'invariants analytiques pour le déploiement de systèmes différentiels linéaires $x^2y'=A(x)y$ ayant une singularité irrégulière de rang de Poincaré $1$ à l'origine au-dessus d'un voisinage fixé $\mathbb{D}_r$ dans la variable $x$. Ce système est constitué d'une partie formelle, donnée par des polynômes, et d'une partie analytique, donnée par une classe d'équivalence de matrices de Stokes déployées. Pour chaque valeur du paramètre $\epsilon$ dans un secteur pointé à l'origine d'ouverture plus grande que $2\pi$, nous recouvrons l'espace de la variable, $\mathbb{D}_r$, avec deux secteurs et, au-dessus de chacun, nous choisissons une base de solutions du système déployé. Cette base sert à définir les matrices de Stokes déployées. Finalement, nous prouvons un théorème de réalisation des invariants qui satisfont une condition nécessaire et suffisante, identifiant ainsi l'ensemble des modules. / This thesis deals with the analytic classification of unfoldings of linear differential systems with an irregular singularity. It contains two papers related to this subject: the first paper presents results concerning the confluence of the hypergeometric equation and may be viewed as a particular case of the second one; the second paper contains the main theorems and results. In both papers, we study the confluence of two regular singular points into an irregular one and we give consequences of the divergence of solutions at the irregular singular point for the unfolded system. For this study, a full neighborhood of the origin is covered (in a ramified way) in the space of the unfolding parameter $\epsilon$. Monodromy of a well chosen basis of solutions around the regular singular points is directly linked to the unfolded Stokes matrices. These matrices give a complete geometric interpretation to the well-known Stokes matrices: this includes the link (existing at least for the generic cases) between the divergence of the solutions at $\epsilon=0$ and the presence of logarithmic terms in the solutions for resonant values of $\epsilon$. Monodromy of first integrals of related Riccati systems are also interpreted in terms of the elements of the unfolded Stokes matrices. The second paper goes further into the subject, giving the complete system of analytic invariants for the unfoldings of nonresonant linear differential systems $x^2y'=A(x)y$ with an irregular singularity of Poincaré rank $1$ at the origin over a fixed neighborhood $\mathbb{D}_r$ in the space of the variable $x$. It consists of a formal part, given by polynomials, and an analytic part, given by an equivalence class of unfolded Stokes matrices. For each parameter value $\epsilon$ taken in a sector pointed at the origin of opening larger than $2\pi$, we cover the space of the variable, $\mathbb{D}_r$, with two sectors and, over each of them, we construct a well chosen basis of solutions of the unfolded differential system. This basis is used to define the unfolded Stokes matrices. Finally, we give a realization theorem for the invariants satisfying a necessary and sufficient condition, thus identifying the set of modules.

Un réseau de cellules est un graphe orienté dont chaque sommet (aussi appelé cellule) représente un ensemble de variables et dont les arcs symbolisent les interactions entre ces variables. Les réseaux de cellules jouent un rôle important dans la modélisation de phénomènes neurologiques, de systèmes économiques ou biologiques, etc.. Soit G un graphe orienté possédant N sommets, on dit qu'une application f=(f_1,...,f_N) de X=X_1×...×X_N dans X (où X_j=R^dj) est admissible, si pour tout sommet j, f_j(x) dépend de x_i seulement si i->j est un arc de G. Dans cette thèse nous montrons que si G est fortement connecté et auto-dépendant, génériquement par rapport à f appartenant à l'ensemble des applications admissibles de classe C¹, le système dynamique engendré par l'équation différentielle x'(t)=f(x(t)) vérifie la propriété de Kupka-Smale, c'est-à-dire tous les éléments critiques (points d'équilibre et orbites périodiques) sont hyperboliques et les variétés stable et instable des éléments critiques s'intersectent transversalement. Ainsi, pour un ensemble dense d'applications admissibles, le système dynamique est au moins localement stable par perturbation (admissible ou non). Nous considérons également l'ensemble des applications « dissipatives » f de classe C¹ dont la différentielle Df(x) est une matrice de Jacobi cyclique positive en tout point x. De telles applications définissent un système coopératif. Nous montrons que le système dynamique engendré par l'équation x'(t)=f(x(t)) vérifie génériquement la propriété de Morse-Smale par rapport à de telles applications f, c'est-à-dire le système vérifie la propriété de Kupka-Smale, les éléments critiques sont en nombre fini et l'ensemble des points non-errants est égal à l'ensemble des éléments critiques. Cette propriété entraîne la stabilité structurelle du système dynamique. Finalement, dans cette thèse nous étudions aussi des réseaux de cellules satisfaisant des contraintes de symétrie locale. Pour de tels systèmes, nous montrons tout d'abord des résultats génériques d'observation à symétrie près, de synchronisation et de décalage de phase. Nous utilisons ces résultats pour montrer la généricité de l'hyperbolicité des points d'équilibre ainsi qu'un lemme d'injectivité pour les trajectoires. Les résultats de généricité de cette thèse sont obtenus à l'aide de théorèmes de transversalité de type Sard-Smale. / A coupled cell network consists in a directed graph, with each node (also called cell) representing a set of variables and with each arrow representing the interaction between these variables. Coupled cell networks play an important role in the modeling of phenomena in neurology, economics or biology, etc.. Let G be a directed graph with N nodes. A mapping f=(f_1,...,f_N) of X=X_1×...×X_N to X (where X_j=R^dj) is admissible, if for each node j, f_j(x) depends on x_i only if i->j is an arrow of G. In this thesis, we show that if the graph G is strongly connected and self-dependant, generically with respect to f in the class of admissible C¹-functions, the dynamical system generated by the differential equation x'(t)=f(x(t)) satisfies the Kupka-Smale property, that is all the critical elements (i.e. the equilibria and periodic orbits) are hyperbolic and the stable and unstable manifolds of these critical elements intersect transversally. As a consequence, for a dense set of admissible functions, the dynamical system is locally stable with respect of small perturbations (admissible or not). We also consider the set of "dissipative" mappings f of class C¹, the differential Df (x) of which is a positive cyclic Jacobi matrix at any point x. Such maps define a cooperative system. We show that the dynamical system generated by the equation x'(t)=f(x(t)) is generically Morse-Smale with respect to such mappings f, that is the system is Kupka-Smale, the critical elements are in finite number and the non-wandering set is equal to the set of critical elements. This property implies the structural stability of the dynamical system. Finally, in this thesis we also study coupled cell networks satisfying local symmetry constraints. For such systems, we first show generic results of observation, synchronization and phase shift. We use these properties to show the genericity of hyperbolicity of equilibrium points and an injectivity lemma for trajectories. In the proof of these genericity results, we use different Sard-Smale type theorems.

Nous nous intéressons à des équations différentielles stochastiques obtenues en perturbant par un bruit blanc des équations différentielles ordinaires admettant N orbites périodiques asymptotiquement stables. Nous construisons une chaîne de Markov à temps discret et espace d’états continu appelée application de Poincaré aléatoire qui hérite du comportement métastable du système. Nous montrons que ce processus admet exactement N valeurs propres qui sont exponentiellement proches de 1 et nous donnons des expressions pour ces valeurs propres et les fonctions propres associées en termes de fonctions committeurs dans les voisinages des orbites périodiques. Nous montrons également que ces valeurs propres sont bien séparées du reste du spectre. Chacune de ces valeurs propres exponentiellement proche de 1 est également reliée à un temps d’atteinte de ces voisinages. De plus, les N valeurs propres exponentiellement proches de 1 et fonctions propres à gauche et à droite associées peuvent être respectivement approchées par des valeurs propres principales, des distributions quasi-stationnaires, et des fonctions propres principales à droite de processus tués quand ils atteignent ces voisinages. Les preuves reposent sur une représentation de type Feynman–Kac pour les fonctions propres, la transformée harmonique de Doob, la théorie spectrale des opérateurs compacts et une propriété de type équilibré détaillé satisfaite par les fonctions committeurs. / We consider stochastic differential equations, obtained by adding weak Gaussian white noise to ordinary differential equations admitting N asymptotically stable periodic orbits. We construct a discrete-time,continuous-space Markov chain, called a random Poincaré map, which encodes the metastable behaviour of the system. We show that this process admits exactly N eigenvalues which are exponentially close to 1,and provide expressions for these eigenvalues and their left and right eigenfunctions in terms of committorfunctions of neighbourhoods of periodic orbits. We also provide a bound for the remaining part of the spectrum. The eigenvalues that are exponentially close to 1 and the right and left eigenfunctions are well-approximated by principal eigenvalues, quasistationary distributions, and principal right eigenfunctions of processes killed upon hitting some of these neighbourhoods. Each eigenvalue that is exponentially close to 1is also related to the mean exit time from some metastable neighborhood of the periodic orbits. The proofsrely on Feynman–Kac-type representation formulas for eigenfunctions, Doob’s h-transform, spectral theory of compact operators, and a recently discovered detailed balance property satisfied by committor functions.