To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
This chapter essentially describes the objects and properties that will interest us in this work. For a more detailed exposition of the general background in Riemannian geometry and in analysis on manifolds, one may refer for instance to [183] and [98]. After recalling how to associate, to each Riemannian metric on a manifold, a Laplacian operator on the same manifold, we will give a definition of smooth harmonic map between two manifolds. Very soon, we will use the variational framework, which consists in viewing harmonic maps as the critical points of the Dirichlet functional.
Next, we introduce a frequently used ingredient in this book: Noether's theorem. We present two versions of it: one related to the symmetries of the image manifold, and the other which is a consequence of an invariance of the problem under diffeomorphisms of the domain manifold (in this case it is not exactly Noether's theorem, but a “covariant” version).
These concepts may be extended to contexts where the map between the two manifolds is less regular. In fact, a relatively convenient space is that of maps with finite energy (Dirichlet integral), H1 (M, N). This space appears naturally when we try to use variational methods to construct harmonic maps, for instance the minimization of the Dirichlet integral. The price to pay is that when the domain manifold has dimension larger than or equal to 2, maps in H1 (M, N) are not smooth, in general. Moreover, H1 (M, N) does not have a differentiable manifold structure.
We come back to the study of harmonic maps, but now we drop the symmetry hypothesis on the image manifold. It is then clear that most of the methods seen in chapter 3 are no longer valid. Nevertheless, it is tempting to try to adapt these results to our new situation. This is the naïve point of view we will adopt in this chapter.
The tool we will use the most, and which will replace the conservation laws in chapter 3, is an orthonormal moving frame on the image manifold: it turns out that this choice of representation, used a century ago by Gaston Darboux for the study of surfaces, and developed by Elie Cartan, is very efficient for studying harmonic maps. We remark that, as with all geometric coordinate systems, there is not only one, but infinitely many ways of defining orthonormal tangent frame fields. Instead of being an inconvenience, this abundance of choice is an advantage since one passes from one orthonormal frame field to another through the action of a gauge group.
In this way, symmetries re-enter, and Noether's theorem is not far away: by choosing a “Coulomb frame”, the orthonormal frame selected satisfies an equation which may be written as a conservation law.
The use of “Coulomb frames” is fundamental for the regularity theorems for harmonic maps which will be presented in the first three sections. We will also need exotic function spaces (Hardy, BMO, Lorentz) and some results from the previous chapter.
Existence criteria are presented for non-linear boundary value problems on the half line. In particular, the theory includes a problem in the theory of colloids and a problem arising in the unsteady flow of a gas through a semi-infinite porous medium.
All those multiplications on the two-dimensional Euclidean group are determined such that the resulting non-associative topological nearring has (1, 0) for a left identity and has the additional property that every element of the near-ring is a right divisor of zero. This result, together with several previous results, is then used to show that any one of several common algebraic properties is sufficient to characterize one particular two-dimensional Euclidean ring within the class of all two dimensional Euclidean near-rings. Specifically, it is proved that, if N is a topological near-ring with a left identity whose additive group is the two-dimensional Euclidean group, then the following assertions are equivalent: (1) the left identity is not a right identity, (2) N contains a non-zero left annihilator, (3) every element of N is a right divisor of zero, (4) Nw≠N for all w∈N, (5) N is isomorphic to the topological ring whose additive group is the two dimensional Euclidean group and whose multiplication is given by (v1, V2)(w1W2) = (v1w1, v1w2).
We study the time-asymptotic behaviour of solutions to the Navier-Stokes equations for a one-dimensional viscous polytropic ideal gas in the half-line. Using a local representation for the specific volume, which is obtained by using a special cut-off function to localize the problem, and the weighted energy estimates, we prove that the specific volume is pointwise bounded from below and above for all x, t and that for all t the temperature is bounded from below and above locally in x. Moreover, global solutions are convergent as time goes to infinity. The large-time behaviour of solutions to the Cauchy problem is also examined.
Let K be a compact convex body in ℝn not contained in a hyperplane, and denote the norm whose unit ball is ½(K − K) by ║·║k. Given a translative packing of K, we are interested in how long a segment (with respect to ║·║K) can lie in the complement of the interiors of the translates. The main result of this note is to show the existence of a translative packing such that the length of the longest segments avoiding it is only exponential in the dimension n (see below). We start here with a lower bound, showing that this bound is close to optimal for balls.
A positive definite integral quadratic form over rational integers is said to be universal, if it represents all positive integers. The universal quaternary quadratic form is determined with the maximal discriminant, which is 1073/4.
In this paper, further insight is obtained into the earlier approach of studying residually transcendental extensions of a valuation v of a field K to a simple transcendental extension K(x) of K by means of minimal pairs, thereby introducing new invariants corresponding to any element of an algebraic closure of K. It is also shown that these invariants are of independent interest as well. A characterization of those elements a belonging to is given such that there exists a minimal pair (a, δ) for some δ in the divisible closure of the value group of v.
In this paper we study the homogenization of an eigenvalue problem for a cooperative system of weakly coupled elliptic partial differential equations, called the neutronic multigroup diffusion model, in a periodic heterogeneous domain. Such a model is used for studying the criticality of nuclear reactor cores. In a recent work in collaboration with Grégoire Allaire, it is proved that, under a symmetry assumption, the first eigenvector of the multigroup system in the periodicity cell controls the oscillatory behaviour of the solutions, whereas the global trend is asymptotically given by a homogenized diffusion eigenvalue problem. It is shown here that when this symmetry condition is not fulfilled, the asymptotic behaviour of the neutron flux, corresponding to the first eigenvector of the multigroup system, is dramatically different. This result enables to consider new types of geometrical configurations in practical nuclear reactor core computations.
Let Λ be an ordered abelian group. It is shown that groups in a certain class can have no non-trivial action of end type on a Λ-tree. A similar result is obtained for irreducible actions.
Erdős (see [4]) asked if there are infinitely many integers k which are not a difference or a sum of two powers, i.e., if there are infinitely many positive integers k with k≠|um ± vn| for u, v, m, n ε ℤ. This is certainly a very difficult problem. For example, it is known that the Catalan equation, i.e., the equation um − vn = 1 with uv≠0 and min (m, n)≥2 has only finitely many solutions (u, v, m, n), but there is no other positive integer k≥1 for which it is known that the equation
has only finitely many solution (u, v, m, n) with min (m, n)≥2.
We deal here with a mixed (hyperbolic-elliptic) system of two conservation laws modelling phase-transition dynamics in solids undergoing phase transformations. These equations include nonlinear viscosity and capillarity terms. We establish general results concerning the existence, uniqueness and asymptotic properties of the corresponding travelling wave solutions. In particular, we determine their behaviour in the limits of dominant diffusion, dominant dispersion or asymptotically small or large shock strength. As the viscosity and capillarity parameters tend to zero, the travelling waves converge to propagating discontinuities, which are either classical shock waves or supersonic phase boundaries satisfying the Lax and Liu entropy criteria, or else are undercompressive subsonic phase boundaries. The latter are uniquely characterized by the so-called kinetic function, whose properties are investigated in detail here.
In this paper we employ some new ideas and more delicate estimates, as well as some ideas from previous works, to establish the existence of universal attractors for a nonlinear one-dimensional heat-conductive viscous real gas in the bounded domain Ω = (0,1).