A combined mixed and discontinuous Galerkin method for compressible miscible displacement problem in porous media

In this paper, we present a numerical scheme for solving the coupled system of compressible miscible displacement problem in porous media. The flow equation is solved by the mixed finite element method, and the transport equation is approximated by a discontinuous Galerkin method. The scheme is continuous in time and a priori hp error estimates is presented.     

Unions of three starshaped sets in R2

LetS be a compact, simply connected set inR ². If every boundary point ofS is clearly visible viaS from at least one of the three pointsa, b, c, thenS is a union of three starshaped sets whose kernels containa, b, c, respectively. The result fails when the number three is replaced by four.As a partial converse, ifS is a union of three starshaped sets whose kernels containa, b, c, respectively, then the set of points in the boundary ofS clearly visible from at least one ofa, b, orc is dense in the boundary ofS.Supported in part by NSF grant DMS-8705336.     

A delta white noise functional

The additive renormalization% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaaiaabs7adaWgaaWcbaGaaeySdiaab6cacaqG0bqefeKCPfgBaGqb% diaa-bcaaeqaaOGaeyypa0Jaa8hiaiaacIcacaaIYaGaeqiWdaNaai% ykamaaCaaaleqabaGaeyOeI0IaaGymaiaac+cacaaIYaaaaGqadOGa% a4hiaiGacwgacaGG4bGaaiiCaiaacIcacqGHsislcaqGXoWaaWbaaS% qabeaacaqGYaaaaOGaai4laiaaikdacaGGPaGaa4hiaiaacQdaciGG% LbGaaiiEaiaacchacqGHXcqSdaWadiqaaiabgkHiTiaadkeacaGGNa% GaaiikaiaadshacaGGPaWaaWbaaSqabeaacaaIYaaaaOGaai4laiaa% ikdacaGFGaGaey4kaSIaa4hiaiaabg7acaWGcbGaai4jaiaacIcaca% WG0bGaaiykaaGaay5waiaaw2faaiaacQdaaaa!6C5C!\[{\rm{\delta }}_{{\rm{\alpha }}{\rm{.t}} } = (2\pi )^{ - 1/2} \exp ( - {\rm{\alpha }}^{\rm{2}} /2) :\exp \pm \left[ { - B'(t)^2 /2 + {\rm{\alpha }}B'(t)} \right]:\]is shown to be a generalized Brownian functional. Some of its properties are derived. is shown to be a generalized Brownian functional. Some of its properties are derived.On leave from Universidade do Minho, Area de Matematica, Largo Carlos Amarante, P-4700 Braga, Portugal.     

Optimal Control in Heterogeneous Domain Decomposition Methods for Advection-Diffusion Equations

New domain decomposition methods (DDM) based on optimal control approach are introduced for the coupling of first and second order equations on overlapping subdomains. Several cost functionals and control functions are proposed. Uniqueness and existence results are proved for the coupled problem, and the convergence of iterative processes is analyzed. The work was supported by the Russian Foundation for Basic Research (04-01-00615) and it was partly carried out while the first author was visiting the IACS at EPFL.     

Symmetric Boundary Value Methods for Second Order Initial and Boundary Value Problems

We introduce symmetric Boundary Value Methods for the solution of second order initial and boundary value problems (in particular Hamiltonian problems). We study the conditioning of the methods and link it to the boundary loci of the roots of the associated characteristic polynomial. Some numerical tests are provided to assess their reliability. Dedicated to the memory of Professor Aldo Cossu     

Long-time dynamics of von Karman semi-flows with non-linear boundary/interior damping

We study von Karman evolution equations with non-linear dissipation and with partially clamped and partially free boundary conditions. Two distinctive mechanisms of dissipation are considered: (i) internal dissipation generated by non-linear operator, and (ii) boundary dissipation generated by shear forces friction acting on a free part of the boundary. The main emphasis is given to the effects of boundary dissipation. Under suitable hypotheses we prove existence of a compact global attractor and finiteness of its fractal dimension. We also show that any solution is stabilized to an equilibrium and estimate the rate of the convergence which, in turn, depends on the behaviour at the origin of the functions describing the dissipation.     

Resolvability properties via independent families

The authors give a consistent affirmative response to a question of Juhász, Soukup and Szentmiklóssy: If GCH fails, there are (many) extraresolvable, not maximally resolvable Tychonoff spaces. They show also in ZFC that for ω<λ?κ, no maximal λ-independent family of λ-partitions of κ is ω-resolvable. In topological language, that theorem translates to this: A dense, ω-resolvable subset of a space of the form (DI(λ)) is λ-resolvable.     

On Gittins’ index theorem in continuous time

We give a new and comparably short proof of Gittins’ index theorem for dynamic allocation problems of the multi-armed bandit type in continuous time under minimal assumptions. This proof gives a complete characterization of optimal allocation strategies as those policies which follow the current leader among the Gittins indices while ensuring that a Gittins index is at an all-time low whenever the associated project is not worked on exclusively. The main tool is a representation property of Gittins index processes which allows us to show that these processes can be chosen to be pathwise lower semi-continuous from the right and quasi-lower semi-continuous from the left. Both regularity properties turn out to be crucial for our characterization and the construction of optimal allocation policies.     

The problem of Dirichlet for anisotropic quasilinear degenerate elliptic equations

We consider the Dirichlet problem for a class of anisotropic degenerate elliptic equations. New a priori estimates for solutions and for the gradient of solutions are established. Based on these estimates sufficient conditions guaranteeing the solvability of the problem are formulated. The results are new even in the semilinear case when the principal part is the Laplace operator.