Displaying similar documents to “A geometric lower bound on Grad's number”

Nash equilibria for a model of traffic flow with several groups of drivers

Alberto Bressan, Ke Han (2012)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

Traffic flow is modeled by a conservation law describing the density of cars. It is assumed that each driver chooses his own departure time in order to minimize the sum of a departure and an arrival cost. There are groups of drivers, The -th group consists of drivers, sharing the same departure and arrival costs (), (). For any given population sizes ,, , we prove the existence of a Nash equilibrium solution,...

Convolutive decomposition and fast summation methods for discrete-velocity approximations of the Boltzmann equation

Clément Mouhot, Lorenzo Pareschi, Thomas Rey (2013)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

Similarity:

Discrete-velocity approximations represent a popular way for computing the Boltzmann collision operator. The direct numerical evaluation of such methods involve a prohibitive cost, typically ( ) where is the dimension of the velocity space. In this paper, following the ideas introduced in [C. Mouhot and L. Pareschi, 339 (2004) 71–76, C. Mouhot and L. Pareschi, 75 (2006) 1833–1852], we derive fast summation techniques for the evaluation of discrete-velocity schemes which...

FETI-DP domain decomposition methods for elasticity with structural changes: -elasticity

Axel Klawonn, Patrizio Neff, Oliver Rheinbach, Stefanie Vanis (2011)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

We consider linear elliptic systems which arise in coupled elastic continuum mechanical models. In these systems, the strain tensor := sym ( ∇) is redefined to include a matrix valued inhomogeneity () which cannot be described by a space dependent fourth order elasticity tensor. Such systems arise naturally in geometrically exact plasticity or in problems with eigenstresses. The tensor field induces a structural change of the elasticity equations. For such...

Undecidability of infinite post correspondence problem for instances of size 8

Jing Dong, Qinghui Liu (2012)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

The infinite Post Correspondence Problem (PCP) was shown to be undecidable by Ruohonen (1985) in general. Blondel and Canterini [36 (2003) 231–245] showed that PCP is undecidable for domain alphabets of size 105, Halava and Harju [40 (2006) 551–557] showed that PCP is undecidable for domain alphabets of size 9. By designing a special coding, we delete a letter from Halava and Harju’s construction. So we prove that PCP is undecidable for domain alphabets of size 8.

On torsional rigidity and principal frequencies: an invitation to the Kohler−Jobin rearrangement technique

Lorenzo Brasco (2014)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

We generalize to the -Laplacian a spectral inequality proved by M.-T. Kohler−Jobin. As a particular case of such a generalization, we obtain a sharp lower bound on the first Dirichlet eigenvalue of of a set in terms of its -torsional rigidity. The result is valid in every space dimension, for every 1    ∞ and for every open set with finite measure. Moreover, it holds by replacing the first eigenvalue with more general optimal Poincaré-Sobolev constants....

FETI-DP domain decomposition methods for elasticity with structural changes: P-elasticity

Axel Klawonn, Patrizio Neff, Oliver Rheinbach, Stefanie Vanis (2011)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

Similarity:

We consider linear elliptic systems which arise in coupled elastic continuum mechanical models. In these systems, the strain tensor := sym ( ∇) is redefined to include a matrix valued inhomogeneity () which cannot be described by a space dependent fourth order elasticity tensor. Such systems arise naturally in geometrically exact plasticity or in problems with eigenstresses. The tensor field induces a structural change of the elasticity equations. For...

Pointwise constrained radially increasing minimizers in the quasi-scalar calculus of variations

Luís Balsa Bicho, António Ornelas (2014)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

We prove of vector minimizers () =  (||) to multiple integrals ∫ ((), |()|)  on a  ⊂ ℝ, among the Sobolev functions (·) in + (, ℝ), using a  : ℝ×ℝ → [0,∞] with (·) and . Besides such basic hypotheses, (·,·) is assumed to satisfy also...

Variational approximation of a functional of Mumford–Shah type in codimension higher than one

Francesco Ghiraldin (2014)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

In this paper we consider a new kind of Mumford–Shah functional () for maps : ℝ → ℝ with  ≥ . The most important novelty is that the energy features a singular set of codimension greater than one, defined through the theory of distributional jacobians. After recalling the basic definitions and some well established results, we prove an approximation property for the energy ()  −convergence, in the same spirit of the work by Ambrosio and Tortorelli [L....

Inequality-sum: a global constraint capturing the objective function

Jean-Charles Régin, Michel Rueher (2010)

RAIRO - Operations Research

Similarity:

This paper introduces a new method to prune the domains of the variables in constrained optimization problems where the objective function is defined by a sum , and where the integer variables are subject to difference constraints of the form . An important application area where such problems occur is deterministic scheduling with the as optimality criteria. This new constraint is also more general than a sum constraint defined on a set of ordered variables. Classical...

Hereditary properties of words

József Balogh, Béla Bollobás (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

Let be a hereditary property of words, , an infinite class of finite words such that every subword (block) of a word belonging to is also in . Extending the classical Morse-Hedlund theorem, we show that either contains at least words of length for every  or, for some , it contains at most words of length for every . More importantly, we prove the following quantitative extension of this result: if has words of length then, for every , it contains at most ⌈( + 1)/2⌉⌈( + 1)/2⌈...

Computing -Free NFA from Regular Expressions in ( log()) Time

Christian Hagenah, Anca Muscholl (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

The standard procedure to transform a regular expression of size to an -free nondeterministic finite automaton yields automata with states and ( ) transitions. For a long time this was supposed to be also the lower bound, but a result by Hromkovic showed how to build an -free NFA with only ( log()) transitions. The current lower bound on the number of transitions is Ω( log()). A rough running time estimation for the common follow sets (CFS) construction proposed...

Upper large deviations for maximal flows through a tilted cylinder

Marie Theret (2014)

ESAIM: Probability and Statistics

Similarity:

We consider the standard first passage percolation model in ℤ for  ≥ 2 and we study the maximal flow from the upper half part to the lower half part (respectively from the top to the bottom) of a cylinder whose basis is a hyperrectangle of sidelength proportional to and whose height is () for a certain height function . We denote this maximal flow by (respectively ). We emphasize the fact that the cylinder may be tilted. We look at the probability that...