IN THIS PAPER we study problems in a bounded region in R” which is divided into two subregions, separated by a free boundary. We search for a function u, defined on the entire domain, which satisfies a different elliptic differential equation on each subdomain and an appropriate smoothness condition on the free boundary. A major application of our analysis is the construction of equilibrium solutions for the equations describing a plasma in a cavity. For certain values of physical parameters this plasma will not fill the entire cavity but will be concentrated in a small subdomain. The aim of physical experiments of this kind is to obtain very high concentrations of plasma inside a toroidal tube (the ‘Tokamak’ machine) and very high temperatures such that a nuclear fusion reaction is ignited (see Mercier [ 11). The free boundary problem has recently received much attention (Temam [2,3], Schaeffer [4], Puel [S], Kinderlehrer and Spruck [6,7]). For the problem in R2, Temam has proved the existence of a unique solution for a limited range of physical parameters. For a very special configuration in R*, Schaeffer proved the existence of multiple solutions for sets of parameters outside Temam’s range; these solutions may be constructed numerically. In this paper we shall analyse the set of equilibrium solutions using the techniques of the theory of bifurcation. The main features of our approach are: (1) solutions are constructed analytically, (2) many bifurcation points are found, which lead to the same number of equilibrium solutions, (3) the bifurcation points do not coincide with the eigenvalues of the elliptic operator on the big domain. Our analysis is, in its main lines, conceptually not very difficult. However, working out all steps in full rigour, and all details in full technical complexity, tends to obscure the main line of reasoning. This is why the presentation of the paper is organized as follows. In Section 1 we formulate the free boundary problem and give a descriptive outline of the method of solution. In Section 2, in order to convince the reader that the method works, we describe how a special class of problems can explicitly be tackled and, as an example, we analyse fully a cylindrical domain in R3. In Section 3, we finally give a rigorous treatment of the original general problem. Various lengthy computational details, of which the reading is not strictly necessary for the understanding of this paper, are presented separately in Ref. [S].
Read full abstract