Blow-up sets for linear diffusion equations in one dimension

We consider the heat equation in the half-line with Dirichlet boundary data which blow up in finite time. Though the blow-up set may be any interval [0,a], depending on the Dirichlet data, we prove that the effective blow-up set, that is, the set of points where the solution behaves like u(0,t), consists always only of the origin. As an application of our results we consider a system of two heat equations with a nontrivial nonlinear flux coupling at the boundary. We show that by prescribing the non-linearities the two components may have different blow-up sets. However, the effective blow-up sets do not depend on the coupling and coincide with the origin for both components.     

Solution-free sets for linear equations

We study the maximum size and the structure of sets of natural numbers which contain no solution of one or more linear equations. Thus, for every natural i and k?2, we find the minimum α=α(i,k) such that if the upper density of a strongly k-sum-free set is at least α, then A is contained in a maximal strongly k-sum-free set which is a union of at most i arithmetic progressions. We also determine the maximum density of sets of natural numbers without solutions to the equation x=y+az, where a is a fixed integer.     

Blow-up and propagation of disturbances for fast diffusion equations

This paper is concerned with the Cauchy problem for the fast diffusion equation _ut−Δu^m=αu^_p1$u_t-\Delta u^m=\alpha u^{p_1}$ in R^N${\mathbb{R}}^N$ (N≥1$N\ge 1$), where m∈(0,1)$m\in (0,1)$, _p1>1$p_1>1$ and α>0$\alpha >0$. The initial condition _u0$u_0$ is assumed to be continuous, nonnegative and bounded. Using a technique of subsolutions, we set up sufficient conditions on the initial value _u0$u_0$ so that u(t,x)$u(t,x)$ blows up in finite time, and we show how to get estimates on the profile of u(t,x)$u(t,x)$ for small enough values of t>0$t>0$.     

Blow-up and existence for fast diffusion equations with general nonlinearities

1.IntroductionInthispaperweconsidertheCauchyproblemforthefastdiffusionequationwheremaxandpositivefunction.Thistypeofequationhasbeenextensivelystudiedasamathematicalmodelofalotofphysicalproblems(see[1-3]).Amajortopicofstudyistheexistenceandnonexistenc...     

Alternating methods for sets of linear equations

Summary A generalization of alternating methods for sets of linear equations is described and the number of operations calculated. It is shown that the lowest number of arithmetic operations is achieved in the SSOR algorithm.     

On solution-free sets for simultaneous quadratic and linear equations

We consider a translation and dilation invariant system consistingof a diagonal quadratic equation and a linear equation withinteger coefficients in s variables, where s 9. We show viathe Hardy–Littlewood circle method that, if a subset of the natural numbers restricted to the interval [1, N] satisfiesGowers' definition of quadratic uniformity, then it furnishesroughly the expected number of simultaneous solutions to thegiven equations. If furnishes no non-trivial solutions to thegiven system, then we show that the number of elements in [1, N] grows no faster than a constant multiple of N/(log logN)^–c as N , where c > 0 is an absolute constant. Inparticular, we show that the density of in [1, N] tends to0 as N tends to infinity.     

Collocation methods for parabolic partial differential equations in one space dimension

Summary Collocation at Gaussian points for a scalarm-th order ordinary differential equation has been studied by C. de Boor and B. Swartz. J. Douglas, Jr. and T. Dupont, using collocation at Gaussian points, and a combination of energy estimates and approximation theory have given a comprehensive theory for parabolic problems in a single space variable. While the results of this report parallel those of Douglas and Dupont, the approach is basically different. The Laplace transform is used to lift the results of de Boor and Swartz to linear parabolic problems. This indicates a general procedure that may be used to lift schemes for elliptic problems to schemes for parabolic problems. Additionally there is a section on longtime integration and A-stability.Supported by the Office of Naval Research under contract N-00014-67-A-0128-0004     

Multiresolution schemes for strongly degenerate parabolic equations in one space dimension

An adaptive finite volume method for one‐dimensional strongly degenerate parabolic equations is presented. Using an explicit conservative numerical scheme with a third‐order Runge‐Kutta method for the time discretization, a third‐order ENO interpolation for the convective term, and adding a conservative discretization for the diffusive term, we apply the multiresolution method combining two fundamental concepts: the switch between central interpolation or exact computing of numerical flux and a thresholded wavelet transform applied to cell averages of the solution to control the switch. Applications to mathematical models of sedimentation‐consolidation processes and traffic flow with driver reaction, which involve different types of boundary conditions, illustrate the computational efficiency of the new method. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2007     

On the dimension of divergence sets of dispersive equations

We refine results of Carleson, Sjögren and Sjölin regarding the pointwise convergence to the initial data of solutions to the Schrödinger equation. We bound the Hausdorff dimension of the sets on which convergence fails. For example, with initial data in \({H^1(\mathbb{R}^{3})}\), the sets of divergence have dimension at most one.     

Removable sets for homogeneous linear partial differential equations in Carnot groups

Let L be a homogeneous left-invariant differential operator on a Carnot group. Assume that both L and L^t are hypoelliptic. We study the removable sets for L-solutions. We give precise conditions in terms of the Carnot- Caratheodory Hausdorff dimension for the removability for L-solutions under several auxiliary integrability or regularity hypotheses. In some cases, our criteria are sharp on the level of the relevant Hausdorff measure. One of the main ingredients in our proof is the use of novel local self-similar tilings in Carnot groups.     

A flux ratio theorem for multicomponent linear diffusion equations

Ussing [1] considered the steady flux of a single chemical component diffusing through a membrane under the influence of chemical potentials and derived from his linear model, an expression for the ratio of this flux and that of the complementary experiment in which the boundary conditions were interchanged. Here, an extension of Ussing's flux ratio theorem is obtained for n chemically interacting components governed by a linear system of diffusion-migration equations that may also incorporate linear temporary trapping reactions. The determinants of the output flux matrices for complementary experiments are shown to satisfy an Ussing flux ratio formula for steady state conditions of the same form as for the well-known one-component case.     

Blow-up criterion for compressible MHD equations

In this paper, we study the 3D compressible magnetohydrodynamic equations. We obtain a blow up criterion for the local strong solutions just in terms of the gradient of the velocity, similar to the Beal-Kato-Majda criterion (see J.T. Beal, T. Kato and A. Majda (1984) [1]) for the ideal incompressible flow. In addition, initial vacuum is allowed in our case.     

Non-L 1 functions with rotation sets of Hausdorff dimension one

Suppose that f: ? → ? is a given measurable function, periodic by 1. For an α ∈ ? put M _n ^α f(x) = 1/n+1 Σ _k=0 ⁿ f(x + kα). Let Γ _f denote the set of those α’s in (0;1) for which M _n ^α f(x) converges for almost every x ∈ ?. We call Γ _f the rotation set of f. We proved earlier that from |Γ _f | > 0 it follows that f is integrable on [0; 1], and hence, by Birkhoff’s Ergodic Theorem all α ∈ [0; 1] belongs to Γ _f . However, Γ _f \? can be dense (even c-dense) for non-L ¹ functions as well. In this paper we show that there are non-L ¹ functions for which Γ _f is of Hausdorff dimension one.