Dans cette thèse, nous étudions les équations d’ondes non-linéaires discrètes dans des réseaux finis arbitraires. C’est un modèle général, où le Laplacien continu est remplacé par le Laplacien de graphe. Nous considérons une telle équation d’onde avec une non-linéarité cubique sur les nœuds du graphe, qui est le modèle φ4 discret, décrivant un réseau mécanique d’oscillateurs non-linéaires couplés ou un réseau électrique où les composantes sont des diodes ou des jonctions Josephson. L’équation d’onde linéaire est bien comprise en termes de modes normaux, ce sont des solutions périodiques associées aux vecteurs propres du Laplacien de graphe. Notre premier objectif est d’étudier la continuation des modes normaux dans le régime non-linéaire et le couplage des modes en présence de la non-linéarité. En inspectant les modes normaux du Laplacien de graphe, nous identifions ceux qui peuvent être étendus à des orbites périodiques non-linéaires. Il s’agit des modes normaux dont les vecteurs propres du Laplacien sont composés uniquement de {1}, {-1,+1} ou {-1,0,+1}. Nous effectuons systématiquement une analyse de stabilité linéaire (Floquet) de ces orbites et montrons le couplage des modes lorsque l’orbite est instable. Ensuite, nous caractérisons tous les graphes pour lesquels il existe des vecteurs propres du Laplacien ayant tous leurs composantes dans {-1,+1} ou {-1,0,+1}, en utilisant la théorie spectrale des graphes. Dans la deuxième partie, nous étudions des solutions périodiques localisées spatialement. En supposant une condition initiale de grande amplitude localisée sur un nœud du graphe, nous approchons l’évolution du système par l’équation de Duffing pour le nœud excité et un système linéaire forcé pour le reste du réseau. Cette approximation est validée en réduisant l’équation φ4 discrète à l’équation de Schrödinger non-linéaire de graphes et par l’analyse de Fourier de la solution numérique. Les résultats de cette thèse relient la dynamique non-linéaire à la théorie spectrale des graphes. / In this thesis, we study the discrete nonlinear wave equations in arbitrary finite networks. This is a general model, where the usual continuum Laplacian is replaced by the graph Laplacian. We consider such a wave equation with a cubic on-site nonlinearity which is the discrete φ4 model, describing a mechanical network of coupled nonlinear oscillators or an electrical network where the components are diodes or Josephson junctions. The linear graph wave equation is well understood in terms of normal modes, these are periodic solutions associated to the eigenvectors of the graph Laplacian. Our first goal is to investigate the continuation of normal modes in the nonlinear regime and the modes coupling in the presence of nonlinearity. By inspecting the normal modes of the graph Laplacian, we identify which ones can be extended into nonlinear periodic orbits. They are normal modes whose Laplacian eigenvectors are composed uniquely of {1}, {-1,+1} or {-1,0,+1}. We perform a systematic linear stability (Floquet) analysis of these orbits and show the modes coupling when the orbit is unstable. Then, we characterize all graphs for which there are eigenvectors of the graph Laplacian having all their components in {-1,+1} or {-1,0,+1}, using graph spectral theory. In the second part, we investigate periodic solutions that are spatially localized. Assuming a large amplitude localized initial condition on one node of the graph, we approximate its evolution by the Duffing equation. The rest of the network satisfies a linear system forced by the excited node. This approximation is validated by reducing the discrete φ4 equation to the graph nonlinear Schrödinger equation and by Fourier analysis. The results of this thesis relate nonlinear dynamics to graph spectral theory.

No description available.

Le but de cette thèse est triple : INÉGALITÉS DE SOBOLEV AVEC DES CONSTANTES EXPLICITES SUR DES VARIÉTÉS RIEMANNIENNES À DENSITÉ ET À BORD CONVEXE : On obtient des inégalités de Sobolev à densité, avec des constantes géométriques explicites pour des variétés à courbure de m-Bakry-Émery Ricci minorée par une constante positive et à bord convexe. Ceci permet de généraliser de nombreux résultats connus dans le cas riemannien aux variétés avec densité. Nous montrons aussi comment déduire des inégalités de Sobolev obtenues, un résultat d’isolement pour les applications f -harmoniques. Nous présenterons également une nouvelle et très simple méthode pour la preuve de l’inégalité de Moser-Trudinger-Onofri [Onofri, 1982] dans le cas du disque euclidien. / The purpose of this thesis is threefold: SOBOLEV INEQUALITIES WITH EXPLICIT CONSTANTS ON A WEIGHTED RIEMANNIAN MANIFOLD OF CONVEX BOUNDARY: We obtain weighted Sobolev inequalities with explicit geometric constants for weighted Riemannian manifolds of positive m-Bakry-Emery Ricci curvature and convex boundary. As a first application, we generalize several results of Riemannian manifolds to the weighted setting. Another application is a new isolation result for the f -harmonic maps. We also give a new and elemantry proof of the well-known Moser-Trudinger-Onofri [Onofri, 1982] inequality for the Euclidean disk.

Les façons d'aborder l'étude du spectre du laplacien sont multiples. Ce mémoire se concentre sur les partitions spectrales optimales de domaines planaires. Plus précisément, lorsque nous imposons des conditions aux limites de Dirichlet, nous cherchons à trouver la ou les partitions qui réalisent l'infimum (sur l'ensemble des partitions à un certain nombre de composantes) du maximum de la première valeur propre du laplacien sur tous ses sous-domaines. Dans les dernières années, cette question a été activement étudiée par B. Helffer, T. Hoffmann-Ostenhof, S. Terracini et leurs collaborateurs, qui ont obtenu plusieurs résultats analytiques et numériques importants. Dans ce mémoire, nous proposons un problème analogue, mais pour des conditions aux limites de Neumann cette fois. Dans ce contexte, nous nous intéressons aux partitions spectrales maximales plutôt que minimales. Nous cherchons alors à vérifier le maximum sur toutes les $k$-partitions possibles du minimum de la première valeur propre non nulle de chacune des composantes. Cette question s'avère plus difficile que sa semblable dans la mesure où plusieurs propriétés des valeurs propres de Dirichlet, telles que la monotonicité par rapport au domaine, ne tiennent plus. Néanmoins, quelques résultats sont obtenus pour des 2-partitions de domaines symétriques et des partitions spécifiques sont trouvées analytiquement pour des domaines rectangulaires. En outre, des propriétés générales des partitions spectrales optimales et des problèmes ouverts sont abordés. / There exist many ways to study the spectrum of the Laplace operator. This master thesis focuses on optimal spectral partitions of planar domains. More specifically, when imposing Dirichlet boundary conditions, we try to find partitions that achieve the infimum (over all the partitions of a given number of components) of the maximum of the first eigenvalue of the Laplacian in all the subdomains. This question has been actively studied in recent years by B. Helffer, T. Hoffmann-Ostenhof, S. Terracini and their collaborators, who obtained a number of important analytic and numerical results. In the present thesis we propose a similar problem, but for the Neumann boundary conditions. In this case, we are looking for spectral maximal, rather than minimal, partitions. More precisely, we attempt to find the maximum over all possible $k$-partitions of the minimum of the first non-zero Neumann eigenvalue of each component. This question appears to be more difficult than the one for the Dirichlet conditions, since many properties of Dirichlet eigenvalues, such as domain monotonicity, no longer hold in the Neumann case. Nevertheless, some results are obtained for 2-partitions of symmetric domains, and specific partitions are found analytically for rectangular domains. In addition, some general properties of optimal spectral partitions and open problems are also discussed.

Dans cette thèse, nous étudions les fonctions propres de l'opérateur de Laplace-Beltrami - ou simplement laplacien - sur une surface fermée, c'est-à-dire une variété riemannienne lisse, compacte et sans bord de dimension 2. Ces fonctions propres satisfont l'équation $\Delta_g \phi_\lambda + \lambda \phi_\lambda = 0$ et les valeurs propres forment une suite infinie. L'ensemble nodal d'une fonction propre du laplacien est celui de ses zéros et est d'intérêt depuis les expériences de plaques vibrantes de Chladni qui remontent au début du 19ème siècle et, plus récemment, dans le contexte de la mécanique quantique. La taille de cet ensemble nodal a été largement étudiée ces dernières années, notamment par Donnelly et Fefferman, Colding et Minicozzi, Hezari et Sogge, Mangoubi ainsi que Sogge et Zelditch. L'étude de la croissance de fonctions propres n'est pas en reste, avec entre autres les récents travaux de Donnelly et Fefferman, Sogge, Toth et Zelditch, pour ne nommer que ceux-là. Notre thèse s'inscrit dans la foulée du travail de Nazarov, Polterovich et Sodin et relie les propriétés de croissance des fonctions propres avec la taille de leur ensemble nodal dans l'asymptotique $\lambda \nearrow \infty$. Pour ce faire, nous considérons d'abord les exposants de croissance, qui mesurent la croissance locale de fonctions propres et qui sont obtenus à partir de la norme uniforme de celles-ci. Nous construisons ensuite la croissance locale moyenne d'une fonction propre en calculant la moyenne sur toute la surface de ces exposants de croissance, définis sur de petits disques de rayon comparable à la longueur d'onde. Nous montrons alors que la taille de l'ensemble nodal est contrôlée par le produit de cette croissance locale moyenne et de la fréquence $\sqrt{\lambda}$. Ce résultat permet une reformulation centrée sur les fonctions propres de la célèbre conjecture de Yau, qui prévoit que la mesure de l'ensemble nodal croît au rythme de la fréquence. Notre travail renforce également l'intuition répandue selon laquelle une fonction propre se comporte comme un polynôme de degré $\sqrt{\lambda}$. Nous généralisons ensuite nos résultats pour des exposants de croissance construits à partir de normes $L^q$. Nous sommes également amenés à étudier les fonctions appartenant au noyau d'opérateurs de Schrödinger avec petit potentiel dans le plan. Pour de telles fonctions, nous obtenons deux résultats qui relient croissance et taille de l'ensemble nodal. / In this thesis, we study eigenfunctions of the Laplace-Beltrami operator - or simply the Laplacian - on a closed surface, i.e. a two dimensional smooth, compact Riemannian manifold without boundary. These functions satisfy $\Delta_g \phi_\lambda + \lambda \phi_\lambda = 0$ and the eigenvalues form an infinite sequence. The nodal set of a Laplace eigenfunction is its zero set and is of interest since the vibrating plates experiments of Chladni at the beginning of the 19th century as well as, more recently, in the context of quantum mechanics. The size of the nodal sets has been largely studied recently, notably by Donnelly and Fefferman, Colding and Minicozzi, Hezari and Sogge, Mangoubi as well as Sogge and Zelditch.The study of eigenfunction growth is also an active topic, with the recent works of Donnelly and Fefferman, Sogge, Toth and Zelditch to name only a few. Our thesis follows the work of Nazarov, Polterovich and Sodin and links growth and nodal sets of eigenfunctions in the asymptotic $\lambda \nearrow \infty$. To do so, we first consider growth exponents, which measure the local growth of eigenfunctions via their uniform norm. The average local growth of an eigenfunction is built by averaging growth exponents defined on small disks of wavelength like radius over the whole surface. We show that the size of the nodal set is controlled by the product of this average local growth with the frequency $\sqrt{\lambda}$. This result allows a function theoretical reformulation of the famous conjecture of Yau, which predicts that the size of the nodal set grows like the frequency. Our work also strengthens the common intuition that an eigenfunction behaves in many ways like a polynomial of degree $\sqrt{\lambda}$. We then generalize our results to growth exponents built upon $L^q$ norms. We are also led to study functions belonging to the kernel of Schrödinger operators with small potential in the plane. For such functions, we obtain two results linking growth and size of nodal sets.

La présente thèse porte sur différentes questions émanant de la géométrie spectrale. Ce domaine des mathématiques fondamentales a pour objet d'établir des liens entre la géométrie et le spectre d'une variété riemannienne. Le spectre d'une variété compacte fermée M munie d'une métrique riemannienne $g$ associée à l'opérateur de Laplace-Beltrami est une suite de nombres non négatifs croissante qui tend vers l’infini. La racine carrée de ces derniers représente une fréquence de vibration de la variété. Cette thèse présente quatre articles touchant divers aspects de la géométrie spectrale. Le premier article, présenté au Chapitre 1 et intitulé « Superlevel sets and nodal extrema of Laplace eigenfunctions », porte sur la géométrie nodale d'opérateurs elliptiques. L’objectif de mes travaux a été de généraliser un résultat de L. Polterovich et de M. Sodin qui établit une borne sur la distribution des extrema nodaux sur une surface riemannienne pour une assez vaste classe de fonctions, incluant, entre autres, les fonctions propres associées à l'opérateur de Laplace-Beltrami. La preuve fournie par ces auteurs n'étant valable que pour les surfaces riemanniennes, je prouve dans ce chapitre une approche indépendante pour les fonctions propres de l’opérateur de Laplace-Beltrami dans le cas des variétés riemanniennes de dimension arbitraire. Les deuxième et troisième articles traitent d'un autre opérateur elliptique, le p-laplacien. Sa particularité réside dans le fait qu'il est non linéaire. Au Chapitre 2, l'article « Principal frequency of the p-laplacian and the inradius of Euclidean domains » se penche sur l'étude de bornes inférieures sur la première valeur propre du problème de Dirichlet du p-laplacien en termes du rayon inscrit d’un domaine euclidien. Plus particulièrement, je prouve que, si p est supérieur à la dimension du domaine, il est possible d'établir une borne inférieure sans aucune hypothèse sur la topologie de ce dernier. L'étude de telles bornes a fait l'objet de nombreux articles par des chercheurs connus, tels que W. K. Haymann, E. Lieb, R. Banuelos et T. Carroll, principalement pour le cas de l'opérateur de Laplace. L'adaptation de ce type de bornes au cas du p-laplacien est abordée dans mon troisième article, « Bounds on the Principal Frequency of the p-Laplacian », présenté au Chapitre 3 de cet ouvrage. Mon quatrième article, « Wolf-Keller theorem for Neumann Eigenvalues », est le fruit d'une collaboration avec Guillaume Roy-Fortin. Le thème central de ce travail gravite autour de l'optimisation de formes dans le contexte du problème aux valeurs limites de Neumann. Le résultat principal de cet article est que les valeurs propres de Neumann ne sont pas toujours maximisées par l'union disjointe de disques arbitraires pour les domaines planaires d'aire fixée. Le tout est présenté au Chapitre 4 de cette thèse. / The main topic of the present thesis is spectral geometry. This area of mathematics is concerned with establishing links between the geometry of a Riemannian manifold and its spectrum. The spectrum of a closed Riemannian manifold M equipped with a Riemannian metric g associated with the Laplace-Beltrami operator is a sequence of non-negative numbers tending to infinity. The square root of any number of this sequence represents a frequency of vibration of the manifold. This thesis consists of four articles all related to various aspects of spectral geometry. The first paper, “Superlevel sets and nodal extrema of Laplace eigenfunction”, is presented in Chapter 1. Nodal geometry of various elliptic operators, such as the Laplace-Beltrami operator, is studied. The goal of this paper is to generalize a result due to L. Polterovich and M. Sodin that gives a bound on the distribution of nodal extrema on a Riemann surface for a large class of functions, including eigenfunctions of the Laplace-Beltrami operator. The proof given by L. Polterovich and M. Sodin is only valid for Riemann surfaces. Therefore, I present a different approach to the problem that works for eigenfunctions of the Laplace-Beltrami operator on Riemannian manifolds of arbitrary dimension. The second and the third papers of this thesis are focused on a different elliptic operator, namely the p-Laplacian. This operator has the particularity of being non-linear. The article “Principal frequency of the p-Laplacian and the inradius of Euclidean domains” is presented in Chapter 2. It discusses lower bounds on the first eigenvalue of the Dirichlet eigenvalue problem for the p-Laplace operator in terms of the inner radius of the domain. In particular, I show that if p is greater than the dimension, then it is possible to prove such lower bound without any hypothesis on the topology of the domain. Such bounds have previously been studied by well-known mathematicians, such as W. K. Haymann, E. Lieb, R. Banuelos, and T. Carroll. Their papers are mostly oriented toward the case of the usual Laplace operator. The generalization of such lower bounds for the p-Laplacian is done in my third paper, “Bounds on the Principal Frequency of the p-Laplacian”. It is presented in Chapter 3. My fourth paper, “Wolf-Keller theorem of Neumann Eigenvalues”, is a joint work with Guillaume Roy-Fortin. This paper is concerned with the shape optimization problem in the case of the Laplace operator with Neumann boundary conditions. The main result of our paper is that eigenvalues of the Neumann boundary problem are not always maximized by disks among planar domains of given area. This joint work is presented in Chapter 4.

Les fuites non détectées dans les réseaux d'eau potable sont responsables en moyenne de la perte de 30% de l'eau transportée. Il s'avère donc primordial de pouvoir contrôler ces fuites. Pour atteindre cet objectif, la modélisation de l'écoulement de l'eau dans les conduites en tenant compte des fuites a été formulée de différente manière. La première formulation est un système d'équations différentielles ordinaires représentant des fuites constantes, réparties uniformément le long des conduites. Le système peut s'avérer être numériquement raide lorsque des organes hydrauliques sont rajoutés. Deux méthodes implicites ont été proposées pour sa résolution : la méthode de Rosenbrock et la méthode de Gear. Les résultats obtenus montrent que le débit varie linéairement le long des conduites et que les pertes en eau par unité de longueur sont identiques sur chaque conduite. La seconde formulation prend en compte la relation entre les fuites et la pression. Un système de deux équations aux dérivées partielles a été proposé. L'EDP de transport-diffusion-réaction, contenant l'opérateur du p-Laplacien, est résolue par une méthode à pas fractionnaires. Deux méthodes ont été testées. Dans la première, la réaction est couplée avec la diffusion et dans la seconde, elle est couplée avec le transport. Les résultats indiquent que les pertes en eau ne sont pas réparties de façon homogène sur le réseau. Cette formulation décrit de manière plus réaliste les réseaux d'eau potable. Enfin, le problème du contrôle du volume des fuites par action sur la pression a été étudié. Pour cela, un problème d'optimisation est résolu sous la contrainte que la pression doit être minimale pour réduire les fuites et être suffisante pour garantir un bon service aux consommateurs. Les résultats trouvés confirment que la réduction de la pression permet de réduire le volume des fuites de façon significative et que le choix de l'emplacement du ou des points de contrôle est primordial pour optimiser cette réduction. / Leakage represents a large part, in average more than 30%, of the water supplied. Consequently, it is important to control leakage in Water Distribution System (WDS). For this purpose different methods, which take leakage into account, are proposed to model the hydraulics of WDS. The first formulation considers constant leakage in a network and leads to an ordinary differential equation. It turns out to be a hydraulic stiff problem due to valve and pump operations. This equation is solved using two methods: the first one is a generalised Runge-Kutta method and the second one the Gear method. The results show that the flow rate varies linearly along a pipe and that the water loss per unit of length is identical for each pipe. Magnitude of inertia terms has also been studied. The second formulation takes pressure-dependent leakage into account. We propose to introduce partial differential equations in order to predict more accurately hydraulic flows in WDS. Thus, the physical advection-diffusion-reaction model is presented. A nonlinear operator, called p-Laplacian, related to the diffusion is included into the model. Two resolutions of this model based on a splitting method are detailed. The results confirm that losses vary nonlinearly with pressure. Finally, the leakage-control problem is studied. For this purpose, we solve an optimisation problem with the objective to minimize the distributed volume in order to reduce leakage. The condition of sufficient pressure to satisfy consumers is imposed in this optimisation. The results prove that pressure control significantly reduces leakage and that the emplacement of the valve is important to optimise this reduction.

Dans cette thèse, nous étudions les propriétés de concentration des fonctions propres du laplacien discret sur des graphes réguliers de degré fixé dont le nombre de sommets tend vers l'infini. Cette étude s'inspire de la théorie de l'ergodicité quantique sur les variétés. Par analogie avec cette dernière, nous développons un calcul pseudo-différentiel sur les arbres réguliers : nous définissons des classes de symboles et des opérateurs associés, et nous prouvons un certain nombre de propriétés de ces classes de symboles et opérateurs. Nous montrons notamment que les opérateurs sont bornés dans L², et nous donnons des formules de l'adjoint et du produit. Nous nous servons ensuite de cette théorie pour montrer un théorème d'ergodicité quantique pour des suites de graphes réguliers dont le nombre de sommets tend vers l'infini. Il s'agit d'un résultat de délocalisation de la plupart des fonctions propres dans la limite des grands graphes réguliers. Les graphes vérifient une hypothèse d'expansion et ne comportent pas trop de cycles courts, deux hypothèses vérifiées presque sûrement par des suites de graphes réguliers aléatoires. / N this thesis, we study concentration properties of eigenfunctions of the discrete Laplacian on regular graphs of fixed degree, when the number of vertices tend to infinity. This study is made in analogy with the Quantum Ergodicity theory on manifolds. We construct a pseudo-differential calculus on regular trees by defining symbol classes and associated operators and proving some properties of these classes of symbols and operators. In particular we prove that the operators are bounded on L² and give adjoint and product formulas. We then use this theory to prove a Quantum Ergodicity theorem on large regular graphs. This is a property of delocalization of most eigenfunctions in the large scale limit. We consider expander graphs with few short cycles (for instance random large regular graphs). These hypothesis are almost surely satisfied by sequences of random regular graphs.

Cette thèse s’inscrit dans le domaine mathématique de l’analyse des équations aux dérivées partielles non-linéaires. Plus précisément, nous avons fait ici l’étude de problèmes quasi-linéaires singuliers. Le terme "singulier" fait référence à l’intervention d’une non-linéarité qui explose au bord du domaine où ’équation est posée. La présence d’une telle singularité entraîne un manque de régularité et donc de compacité des solutions qui ne nous permet pas d’appliquer directement les méthodes classiques de l’analyse non-linéaire pour démontrer l’existence de solutions et discuter des propriétés de régularité et de comportement asymptotique de ces solutions. Pour contourner cette difficulté, nous sommes amenés à établir des estimations a priori très fines au voisinage du bord du domaine en combinant diverses méthodes : méthodes de monotonie (reliée au principe du maximum), méthodes variationnelles, argument de convexité, méthodes de point fixe et semi-discrétisation en temps. A travers, l’étude de trois problèmes-modèle faisant intervenir l’opérateur p-Laplacien, nous avons montré comment ces différentes méthodes pouvaient être mises en œuvre. Les résultats que nous avons obtenus sont décrits dans les trois chapitres de cette thèse : Dans le Chapitre I, nous avons étudié un problème d’absorption elliptique singulier. En utilisant des méthodes de sur- et sous solutions et des méthodes variationnelles, nous établissons des résultats d’existence de solutions. Par des méthodes de comparaison locale, nous démontrons également la propriété de support compact de ces solutions, pour de fortes singularités. Dans le Chapitre II, nous étudions le cas d’un système d’équations quasi-linéaires singulières. Par des arguments de point fixe et de monotonie, nous démontrons deux résultats généraux d’existence de solutions. Dans un deuxième temps, nous faisons une analyse plus détaillée de systèmes du type Gierer-Meinhardt modélisant des phénomènes biologiques. Des résultats d’unicité ainsi que des estimations précises sur le comportement des solutions sont alors obtenus. Dans le Chapitre III, nous faisons l’étude d’un problème d’absorption, parabolique singulier. Nous établissons par une méthode de semi-discrétisation en temps des résultats d’existence de solutions. Grâce à des inégalités d’énergie, nous démontrons également l’extinction en temps fini de ces solutions. / This thesis deals with the mathematical field of nonlinear partial differential equations analysis. More precisely, we focus on quasilinear and singular problems. By singularity, we mean that the problems that we have considered involve a nonlinearity in the equation which blows-up near the boundary. This singular pattern gives rise to a lack of regularity and compactness that prevent the straightforward applications of classical methods in nonlinear analysis used for proving existence of solutions and for establishing the regularity properties and the asymptotic behavior of the solutions. To overcome this difficulty, we establish estimations on the precise behavior of the solutions near the boundary combining several techniques : monotonicity method (related to the maximum principle), variational method, convexity arguments, fixed point methods and semi-discretization in time. Throughout the study of three problems involving the p-Laplacian operator, we show how to apply this different methods. The three chapters of this dissertation the describes results we get :– In Chapter I, we study a singular elliptic absorption problem. By using sub- and super-solutions and variational methods, we prove the existence of the solutions. In the case of a strong singularity, by using local comparison techniques, we also prove that the compact support of the solution. In Chapter II, we study a singular elliptic system. By using fixed point and monotonicity arguments, we establish two general theorems on the existence of solution. In a second time, we more precisely analyse the Gierer-Meinhardt systems which model some biological phenomena. We prove some results about the uniqueness and the precise behavior of the solutions. In Chapter III, we study a singular parabolic absorption problem. By using a semi-discretization in time method, we establish the existence of a solution. Moreover, by using differential energy inequalities, we prove that the solution vanishes in finite time. This phenomenon is called "quenching".

No description available.