Some homogenization and corrector results for nonlinear monotone operators

This paper deals with the limit behaviour of the solutions of quasi-linear equations of the form \ \ds -\limfunc{div}\left(a\left(x, x/{\varepsilon _h},Du_h\right)\right)=f_h on $\Omega$ with Dirichlet boundary conditions. The sequence $(\varepsilon _h)$ tends to $0$ and the map $a(x,y,\xi )$ is periodic in $y$, monotone in $\xi$ and satisfies suitable continuity conditions. It is proved that $u_h\rightarrow u$ weakly in $H_0^{1,2}(\Omega )$, where $u$ is the solution of a homogenized problem \ -\limfunc{div}(b(x,Du))=f on $\Omega$. We also prove some corrector results, i.e. we find $(P_h)$ such that $Du_h-P_h(Du)\rightarrow 0$ in $L^2(\Omega ,R^n)$

Global well-posedness of the short-pulse and sine-Gordon equations in energy space

We prove global well-posedness of the short-pulse equation with small initial data in Sobolev space $H^2$. Our analysis relies on local well-posedness results of Sch\"afer & Wayne, the correspondence of the short-pulse equation to the sine-Gordon equation in characteristic coordinates, and a number of conserved quantities of the short-pulse equation. We also prove local and global well-posedness of the sine-Gordon equation in an appropriate function space.Comment: 17 pages, revised versio

Correctors for some nonlinear monotone operators

In this paper we study homogenization of quasi-linear partial differential equations of the form -\mbox{div}\left( a\left( x,x/\varepsilon _h,Du_h\right) \right) =f_h on $\Omega$ with Dirichlet boundary conditions. Here the sequence $\left( \varepsilon _h\right)$ tends to $0$ as $h\rightarrow \infty$ and the map $a\left( x,y,\xi \right)$ is periodic in $y,$ monotone in $\xi$ and satisfies suitable continuity conditions. We prove that $u_h\rightarrow u$ weakly in $W_0^{1,p}\left( \Omega \right)$ as $h\rightarrow \infty ,$ where $u$ is the solution of a homogenized problem of the form -\mbox{div}\left( b\left( x,Du\right) \right) =f on $\Omega .$ We also derive an explicit expression for the homogenized operator $b$ and prove some corrector results, i.e. we find $\left( P_h\right)$ such that $Du_h-P_h\left( Du\right) \rightarrow 0$ in $L^p\left( \Omega, \mathbf{R}^n\right)$

An intermediate value theorem in ordered Banach spaces

We consider a monotone increasing operator in an ordered Banach space having $u_-$ and $u_+$ as a strong super- and subsolution, respectively. In contrast with the well studied case $u_+ < u_-$, we suppose that $u_- < u_+$. Under the assumption that the order cone is normal and minihedral, we prove the existence of a fixed point located in the ordered interval $[u_-,u_+].

Lower and upper estimates on the excitation threshold for breathers in DNLS lattices

We propose analytical lower and upper estimates on the excitation threshold for breathers (in the form of spatially localized and time periodic solutions) in DNLS lattices with power nonlinearity. The estimation depending explicitly on the lattice parameters, is derived by a combination of a comparison argument on appropriate lower bounds depending on the frequency of each solution with a simple and justified heuristic argument. The numerical studies verify that the analytical estimates can be of particular usefulness, as a simple analytical detection of the activation energy for breathers in DNLS lattices.Comment: 10 pages, 3 figure

Ken&Barbie selectively regulates the expression of a subset of JAK/STAT pathway target genes.

SummaryA limited number of evolutionarily conserved signal transduction pathways are repeatedly reused during development to regulate a wide range of processes. Here we describe a new negative regulator of JAK/STAT signaling and identify a potential mechanism by which the pleiotropy of responses resulting from pathway activation is generated in vivo. As part of a genetic interaction screen, we have identified Ken & Barbie (Ken) [1], which is an ortholog of the mammalian proto-oncogene BCL6 [2], as a negative regulator of the JAK/STAT pathway. Ken genetically interacts with the pathway in vivo and recognizes a DNA consensus sequence overlapping that of STAT92E in vitro. Tissue culture-based assays demonstrate the existence of Ken-sensitive and Ken-insensitive STAT92E binding sites, while ectopically expressed Ken is sufficient to downregulate a subset of JAK/STAT pathway target genes in vivo. Finally, we show that endogenous Ken specifically represses JAK/STAT-dependent expression of ventral veins lacking (vvl) in the posterior spiracles. Ken therefore represents a novel regulator of JAK/STAT signaling whose dynamic spatial and temporal expression is capable of selectively modulating the transcriptional repertoire elicited by activated STAT92E in vivo

Архитектура системы ситуационного управления

This article related to situation management. It contains architecture of situation management system and class diagram of situation management agent

Design of a fault tolerant airborne digital computer. Volume 2: Computational requirements and technology

This final report summarizes the work on the design of a fault tolerant digital computer for aircraft. Volume 2 is composed of two parts. Part 1 is concerned with the computational requirements associated with an advanced commercial aircraft. Part 2 reviews the technology that will be available for the implementation of the computer in the 1975-1985 period. With regard to the computation task 26 computations have been categorized according to computational load, memory requirements, criticality, permitted down-time, and the need to save data in order to effect a roll-back. The technology part stresses the impact of large scale integration (LSI) on the realization of logic and memory. Also considered was module interconnection possibilities so as to minimize fault propagation

Far-from-constant mean curvature solutions of Einstein's constraint equations with positive Yamabe metrics

In this article we develop some new existence results for the Einstein constraint equations using the Lichnerowicz-York conformal rescaling method. The mean extrinsic curvature is taken to be an arbitrary smooth function without restrictions on the size of its spatial derivatives, so that it can be arbitrarily far from constant. The rescaled background metric belongs to the positive Yamabe class, and the freely specifiable part of the data given by the traceless-transverse part of the rescaled extrinsic curvature and the matter fields are taken to be sufficiently small, with the matter energy density not identically zero. Using topological fixed-point arguments and global barrier constructions, we then establish existence of solutions to the constraints. Two recent advances in the analysis of the Einstein constraint equations make this result possible: A new type of topological fixed-point argument without smallness conditions on spatial derivatives of the mean extrinsic curvature, and a new construction of global super-solutions for the Hamiltonian constraint that is similarly free of such conditions on the mean extrinsic curvature. For clarity, we present our results only for strong solutions on closed manifolds. However, our results also hold for weak solutions and for other cases such as compact manifolds with boundary; these generalizations will appear elsewhere. The existence results presented here for the Einstein constraints are apparently the first such results that do not require smallness conditions on spatial derivatives of the mean extrinsic curvature.Comment: 4 pages, no figures, accepted for publication in Physical Review Letters. (Abstract shortenned and other minor changes reflecting v4 version of arXiv:0712.0798

Numerical Bifurcation Analysis of Conformal Formulations of the Einstein Constraints

The Einstein constraint equations have been the subject of study for more than fifty years. The introduction of the conformal method in the 1970's as a parameterization of initial data for the Einstein equations led to increased interest in the development of a complete solution theory for the constraints, with the theory for constant mean curvature (CMC) spatial slices and closed manifolds completely developed by 1995. The first general non-CMC existence result was establish by Holst et al. in 2008, with extensions to rough data by Holst et al. in 2009, and to vacuum spacetimes by Maxwell in 2009. The non-CMC theory remains mostly open; moreover, recent work of Maxwell on specific symmetry models sheds light on fundamental non-uniqueness problems with the conformal method as a parameterization in non-CMC settings. In parallel with these mathematical developments, computational physicists have uncovered surprising behavior in numerical solutions to the extended conformal thin sandwich formulation of the Einstein constraints. In particular, numerical evidence suggests the existence of multiple solutions with a quadratic fold, and a recent analysis of a simplified model supports this conclusion. In this article, we examine this apparent bifurcation phenomena in a methodical way, using modern techniques in bifurcation theory and in numerical homotopy methods. We first review the evidence for the presence of bifurcation in the Hamiltonian constraint in the time-symmetric case. We give a brief introduction to the mathematical framework for analyzing bifurcation phenomena, and then develop the main ideas behind the construction of numerical homotopy, or path-following, methods in the analysis of bifurcation phenomena. We then apply the continuation software package AUTO to this problem, and verify the presence of the fold with homotopy-based numerical methods.Comment: 13 pages, 4 figures. Final revision for publication, added material on physical implication