-
On the exact boundary controllability of semilinear wave equations
Authors:
Sue Claret,
Jérôme Lemoine,
Arnaud Münch
Abstract:
We address the exact boundary controllability of the semilinear wave equation $\partial_{tt}y-Δy + f(y)=0$ posed over a bounded domain $Ω$ of $\mathbb{R}^d$. Assuming that $f$ is continuous and satisfies the condition $\limsup_{\vert r\vert\to \infty} \vert f(r)\vert /(\vert r\vert \ln^p\vert r\vert)\leq β$ for some $β$ small enough and some $p\in [0,3/2)$, we apply the Schauder fixed point theore…
▽ More
We address the exact boundary controllability of the semilinear wave equation $\partial_{tt}y-Δy + f(y)=0$ posed over a bounded domain $Ω$ of $\mathbb{R}^d$. Assuming that $f$ is continuous and satisfies the condition $\limsup_{\vert r\vert\to \infty} \vert f(r)\vert /(\vert r\vert \ln^p\vert r\vert)\leq β$ for some $β$ small enough and some $p\in [0,3/2)$, we apply the Schauder fixed point theorem to prove the uniform controllability for initial data in $L^2(Ω)\times H^{-1}(Ω)$. Then, assuming that $f$ is in $\mathcal{C}^1(\mathbb{R})$ and satisfies the condition $\limsup_{\vert r\vert\to \infty} \vert f^\prime(r)\vert/\ln^p\vert r\vert\leq β$, we apply the Banach fixed point theorem and exhibit a strongly convergent sequence to a state-control pair for the semilinear equation.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Résolution du jeu de Juniper Green
Authors:
Julien Lemoine
Abstract:
In this article, we describe the solution of the Juniper Green game for every integer, with techniques that are elementary enough to be explained to students who have mastered the notions of divisors and multiples. A general method allows us to solve the game for almost every integer, then there are less than fifty cases left to deal with. Each of these cases can be solved within a few minutes, wi…
▽ More
In this article, we describe the solution of the Juniper Green game for every integer, with techniques that are elementary enough to be explained to students who have mastered the notions of divisors and multiples. A general method allows us to solve the game for almost every integer, then there are less than fifty cases left to deal with. Each of these cases can be solved within a few minutes, with a paper and a pencil.
--
Dans cet article, nous décrivons la résolution du jeu de Juniper Green pour tout entier, avec des techniques suffisamment élémentaires pour être expliquées à des élèves maîtrisant les notions de diviseurs et multiples. Une méthode générale permet de résoudre le jeu pour presque tout entier, si bien qu'il reste alors moins de cinquante cas à traiter, chacun pouvant être résolu au prix d'une étude sur papier de quelques minutes.
△ Less
Submitted 19 March, 2022; v1 submitted 20 February, 2022;
originally announced February 2022.
-
Constructive exact control of semilinear 1D heat equations
Authors:
Jérôme Lemoine,
Arnaud Münch
Abstract:
The exact distributed controllability of the semilinear heat equation $\partial_{t}y-Δy + g(y)=f \,1_ω$ posed over multi-dimensional and bounded domains, assuming that $g\in C^1(\mathbb{R})$ satisfies the growth condition $\limsup_{r\to \infty} g(r)/(\vert r\vert \ln^{3/2}\vert r\vert)=0$ has been obtained by Fernández-Cara and Zuazua in 2000. The proof based on a non constructive fixed point argu…
▽ More
The exact distributed controllability of the semilinear heat equation $\partial_{t}y-Δy + g(y)=f \,1_ω$ posed over multi-dimensional and bounded domains, assuming that $g\in C^1(\mathbb{R})$ satisfies the growth condition $\limsup_{r\to \infty} g(r)/(\vert r\vert \ln^{3/2}\vert r\vert)=0$ has been obtained by Fernández-Cara and Zuazua in 2000. The proof based on a non constructive fixed point arguments makes use of precise estimates of the observability constant for a linearized heat equation. In the one dimensional setting, assuming that $g^\prime$ does not grow faster than $β\ln^{3/2}\vert r\vert$ at infinity for $β>0$ small enough and that $g^\prime$ is uniformly Hölder continuous on $\mathbb{R}$ with exponent $p\in [0,1]$, we design a constructive proof yielding an explicit sequence converging to a controlled solution for the semilinear equation, at least with order $1+p$ after a finite number of iterations.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Constructive proof of the exact controllability for semi-linear wave equations
Authors:
Jérôme Lemoine,
Arnaud Münch
Abstract:
The exact distributed controllability of the semilinear wave equation $\partial_{tt}y-Δy + g(y)=f \,1_ω$ posed over multi-dimensional and bounded domains, assuming that $g\in C^1(\mathbb{R})$ satisfies the growth condition $\limsup_{r\to \infty} g(r)/(\vert r\vert \ln^{1/2}\vert r\vert)=0$ has been obtained by Fu, Yong and Zhang in 2007. The proof based on a non constructive Leray-Schauder fixed p…
▽ More
The exact distributed controllability of the semilinear wave equation $\partial_{tt}y-Δy + g(y)=f \,1_ω$ posed over multi-dimensional and bounded domains, assuming that $g\in C^1(\mathbb{R})$ satisfies the growth condition $\limsup_{r\to \infty} g(r)/(\vert r\vert \ln^{1/2}\vert r\vert)=0$ has been obtained by Fu, Yong and Zhang in 2007. The proof based on a non constructive Leray-Schauder fixed point theorem makes use of precise estimates of the observability constant for a linearized wave equation. Assuming that $g^\prime$ does not grow faster than $β\ln^{1/2}\vert r\vert$ at infinity for $β>0$ small enough and that $g^\prime$ is uniformly Hölder continuous on $\mathbb{R}$ with exponent $s\in (0,1]$, we design a constructive proof yielding an explicit sequence converging to a controlled solution for the semilinear equation, at least with order $1+s$ after a finite number of iterations.
△ Less
Submitted 16 January, 2021;
originally announced January 2021.
-
Approximation of null controls for semilinear heat equations using a least-squares approach
Authors:
Jerome Lemoine,
Irene Marin-Gayte,
Arnaud Munch
Abstract:
The null distributed controllability of the semilinear heat equation $y_t-Δy + g(y)=f \,1_ω$, assuming that $g$ satisfies the growth condition $g(s)/(\vert s\vert \log^{3/2}(1+\vert s\vert))\rightarrow 0$ as $\vert s\vert \rightarrow \infty$ and that $g^\prime\in L^\infty_{loc}(\mathbb{R})$ has been obtained by Fernández-Cara and Zuazua in 2000. The proof based on a fixed point argument makes use…
▽ More
The null distributed controllability of the semilinear heat equation $y_t-Δy + g(y)=f \,1_ω$, assuming that $g$ satisfies the growth condition $g(s)/(\vert s\vert \log^{3/2}(1+\vert s\vert))\rightarrow 0$ as $\vert s\vert \rightarrow \infty$ and that $g^\prime\in L^\infty_{loc}(\mathbb{R})$ has been obtained by Fernández-Cara and Zuazua in 2000. The proof based on a fixed point argument makes use of precise estimates of the observability constant for a linearized heat equation. It does not provide however an explicit construction of a null control. Assuming that $g^\prime\in W^{s,\infty}(\mathbb{R})$ for one $s\in (0,1]$, we construct an explicit sequence converging strongly to a null control for the solution of the semilinear equation. The method, based on a least-squares approach, generalizes Newton type methods and guarantees the convergence whatever be the initial element of the sequence. In particular, after a finite number of iterations, the convergence is super linear with a rate equal to $1+s$. Numerical experiments in the one dimensional setting support our analysis.
△ Less
Submitted 28 August, 2020;
originally announced August 2020.
-
A fully space-time least-squares method for the unsteady Navier-Stokes system
Authors:
Jerome Lemoine,
Arnaud Munch
Abstract:
We introduce and analyze a space-time least-squares method associated to the unsteady Navier-Stokes system. Weak solution in the two dimensional case and regular solution in the three dimensional case are considered. From any initial guess, we construct a minimizing sequence for the least-squares functional which converges strongly to a solution of the Navier-Stokes system. After a finite number o…
▽ More
We introduce and analyze a space-time least-squares method associated to the unsteady Navier-Stokes system. Weak solution in the two dimensional case and regular solution in the three dimensional case are considered. From any initial guess, we construct a minimizing sequence for the least-squares functional which converges strongly to a solution of the Navier-Stokes system. After a finite number of iterates related to the value of the viscosity constant, the convergence is quadratic. Numerical experiments within the two dimensional case support our analysis. This globally convergent least-squares approach is related to the damped Newton method when used to solve the Navier-Stokes system through a variational formulation.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Nimbers are inevitable
Authors:
Julien Lemoine,
Simon Viennot
Abstract:
This article concerns the resolution of impartial combinatorial games, and in particular games that can be split in sums of independent positions. We prove that in order to compute the outcome of a sum of independent positions, it is always more efficient to compute separately the nimbers of each independent position than to develop directly the game tree of the sum. The concept of nimber is there…
▽ More
This article concerns the resolution of impartial combinatorial games, and in particular games that can be split in sums of independent positions. We prove that in order to compute the outcome of a sum of independent positions, it is always more efficient to compute separately the nimbers of each independent position than to develop directly the game tree of the sum. The concept of nimber is therefore inevitable to solve impartial games, even when we only try to determinate the winning or losing outcome of a starting position. We also describe algorithms to use nimbers efficiently and finally, we give a review of the results obtained on two impartial games: Sprouts and Cram.
△ Less
Submitted 26 November, 2010;
originally announced November 2010.
-
Computer analysis of Sprouts with nimbers
Authors:
Julien Lemoine,
Simon Viennot
Abstract:
Sprouts is a two-player topological game, invented in 1967 in the University of Cambridge by John Conway and Michael Paterson. The game starts with p spots, and ends in at most 3p-1 moves. The first player who cannot play loses.
The complexity of the p-spot game is very high, so that the best hand-checked proof only shows who the winner is for the 7-spot game, and the best previous computer anal…
▽ More
Sprouts is a two-player topological game, invented in 1967 in the University of Cambridge by John Conway and Michael Paterson. The game starts with p spots, and ends in at most 3p-1 moves. The first player who cannot play loses.
The complexity of the p-spot game is very high, so that the best hand-checked proof only shows who the winner is for the 7-spot game, and the best previous computer analysis reached p=11.
We have written a computer program, using mainly two new ideas. The nimber (also known as Sprague-Grundy number) allows us to compute separately independent subgames; and when the exploration of a part of the game tree seems to be too difficult, we can manually force the program to search elsewhere. Thanks to these improvements, we reached up to p=32. The outcome of the 33-spot game is still unknown, but the biggest computed value is the 47-spot game ! All the computed values support the Sprouts conjecture: the first player has a winning strategy if and only if p is 3, 4 or 5 modulo 6.
We have also used a check algorithm to reduce the number of positions needed to prove which player is the winner. It is now possible to hand-check all the games until p=11 in a reasonable amount of time.
△ Less
Submitted 13 August, 2010;
originally announced August 2010.
-
Analysis of misere Sprouts game with reduced canonical trees
Authors:
Julien Lemoine,
Simon Viennot
Abstract:
Sprouts is a two-player topological game, invented in 1967 by Michael Paterson and John Conway. The game starts with p spots, lasts at most 3p-1 moves, and the player who makes the last move wins. In the misere version of Sprouts, on the contrary, the player who makes the last move loses. Sprouts is a very intricate game, and the first computer analysis in 1991 reached only p=11. New results wer…
▽ More
Sprouts is a two-player topological game, invented in 1967 by Michael Paterson and John Conway. The game starts with p spots, lasts at most 3p-1 moves, and the player who makes the last move wins. In the misere version of Sprouts, on the contrary, the player who makes the last move loses. Sprouts is a very intricate game, and the first computer analysis in 1991 reached only p=11. New results were made possible in 2007 up to p=32 by using combinatorial game theory: when a position is a sum of independant games, it is possible to replace some of these games by a natural number, called the nimber, without changing the winning or losing outcome of the complete position. However, this reduction does not apply to the misere version, making the analysis of Sprouts (and more generally of any game) more difficult in the misere version. In 1991, only p=9 was reached in misere Sprouts, and we describe in this paper how we obtained up to p=17. First, we describe a theoretical tool, the reduced canonical tree, which plays a role similar to the nimber in the normal version. Then, we describe the way we have implemented it in our program, and detail the results it allowed us to obtain on misere Sprouts.
△ Less
Submitted 30 August, 2009;
originally announced August 2009.
-
Sprouts game on compact surfaces
Authors:
Julien Lemoine,
Simon Viennot
Abstract:
Sprouts is a two-player topological game, invented in 1967 by Michael Paterson and John Conway. The game starts with p spots drawn on a sheet of paper, and lasts at most 3p-1 moves: the player who makes the last move wins.
Sprouts is a very intricate game and the best known manual analysis only achieved to find a winning strategy up to p=7 spots. Recent computer analysis reached up to p=32.
Th…
▽ More
Sprouts is a two-player topological game, invented in 1967 by Michael Paterson and John Conway. The game starts with p spots drawn on a sheet of paper, and lasts at most 3p-1 moves: the player who makes the last move wins.
Sprouts is a very intricate game and the best known manual analysis only achieved to find a winning strategy up to p=7 spots. Recent computer analysis reached up to p=32.
The standard game is played on a plane, or equivalently on a sphere. In this article, we generalize and study the game on any compact surface.
First, we describe the possible moves on a compact surface, and the way to implement them in a program. Then, we show that we only need to consider a finite number of surfaces to analyze the game with p spots on any compact surface: if we take a surface with a genus greater than some limit genus, then the game on this surface is equivalent to the game on some smaller surface. Finally, with computer calculation, we observe that the winning player on orientable surfaces seems to be always the same one as on a plane, whereas there are significant differences on non-orientable surfaces.
△ Less
Submitted 2 July, 2013; v1 submitted 29 November, 2008;
originally announced December 2008.
