Variational problem in the non-negative orthant of ℝ<Superscript>3</Superscript>: reflective faces and boundary influence cones

In this paper we consider the variational problem in the non-negative orthant of ℝ³. The solution of this problem gives the large deviation rate function for the stationary distribution of an SRBM (Semimartingal Reflecting Brownian Motion). Avram, Dai and Hasenbein (Queueing Syst. 37, 259–289, 2001) provided an explicit solution of this problem in the non-negative quadrant. Building on this work, we characterize reflective faces of the non-negative orthant of ℝ ^d , we construct boundary influence cones and we provide an explicit solution of several constrained variational problems in ℝ³. Moreover, we give conditions under which certain spiraling paths to a point on an axis have a cost which is strictly less than the cost of every direct path and path with two pieces.     

Time regularity of the solutions to second order hyperbolic equations

We consider the Cauchy problem for a second order weakly hyperbolic equation, with coefficients depending only on the time variable. We prove that if the coefficients of the equation belong to the Gevrey class g^s₀\gamma^{s_{0}} and the Cauchy data belong to g^s₁\gamma^{s_{1}}, then the Cauchy problem has a solution in  g^s₀([0,T^*];g^s₁(\mathbbR))\gamma^{s_{0}}([0,T^{*}];\gamma^{s_{1}}(\mathbb{R})) for some T ^*>0, provided 1≤s ₁≤2−1/s ₀. If the equation is strictly hyperbolic, we may replace the previous condition by 1≤s ₁≤s ₀.     

Lines Pinning Lines

A line ℓ is a transversal to a family F of convex polytopes in ℝ³ if it intersects every member of F. If, in addition, ℓ is an isolated point of the space of line transversals to F, we say that F is a pinning of ℓ. We show that any minimal pinning of a line by polytopes in ℝ³ such that no face of a polytope is coplanar with the line has size at most eight. If in addition the polytopes are pairwise disjoint, then it has size at most six.     

非线性奇异边值问题的正解

该文利用锥上的不动点定理, 在较弱的条件下,讨论了非线性Sturm-Liouville方程奇异边值问题正解的存在性, 并获得了当特征值λ在某一范围内取值时, 边值问题至少存在一个正解的结论.作者的结果包含推广并改进了许多已知的结果。     

Infima of superharmonic functions

Let Ω be a Greenian domain in ℝ ^d , d≥2, or—more generally—let Ω be a connected -Brelot space satisfying axiom D, and let u be a numerical function on Ω, , which is locally bounded from below. A short proof yields the following result: The function u is the infimum of its superharmonic majorants if and only if each set {x:u(x)>t}, t∈ℝ, differs from an analytic set only by a polar set and , whenever V is a relatively compact open set in Ω and x∈V.     

Hölder Regularity of μ-Similar Functions

Given a positive measure μ, d contractions on [0,1] and a function g on ℝ, we are interested in function series F that we call “μ-similar functions” associated with μ, g and the contractions. These series F are defined as infinite sums of rescaled and translated copies of the function g, the dilation and translations depending on the choice of the contractions. The class of μ-similar functions F intersects the classes of self-similar and quasi-self-similar functions, but the heterogeneity we introduce in the location of the copies of g make the class much larger. We study the convergence and the global and local regularity properties of the μ-similar functions. We also try to relate the multifractal properties of μ to those of F and to develop a multifractal formalism (based on oscillation methods) associated with F.     

Localisation and colocalisation of KK-theory

The localisation of an R-linear triangulated category T\mathcal{T} at S ⁻¹ R for a multiplicatively closed subset S is again triangulated, and related to the original category by a long exact sequence involving a version of T\mathcal{T} with coefficients in S ⁻¹ R/R. We examine these theories and, under some assumptions, write the latter as an inductive limit of T\mathcal{T} with torsion coefficients. Our main application is the case where T\mathcal{T} is equivariant bivariant K-theory and R the ring of integers.     

Metrizability of Clifford topological semigroups

We prove that a countably compact Clifford topological semigroup S is metrizable if and only if the set E={e∈S:ee=e} of idempotents of S is a metrizable G _δ -set in S.     

Linkless and Flat Embeddings in 3-Space

We consider piecewise linear embeddings of graphs in 3-space ℝ³. Such an embedding is linkless if every pair of disjoint cycles forms a trivial link (in the sense of knot theory). Robertson, Seymour and Thomas (J. Comb. Theory, Ser. B 64:185–227, 1995) showed that a graph has a linkless embedding in ℝ³ if and only if it does not contain as a minor any of seven graphs in Petersen’s family (graphs obtained from K ₆ by a series of YΔ and ΔY operations). They also showed that a graph is linklessly embeddable in ℝ³ if and only if it admits a flat embedding into ℝ³, i.e. an embedding such that for every cycle C of G there exists a closed 2-disk D⊆ℝ³ with D∩G=∂D=C. Clearly, every flat embedding is linkless, but the converse is not true. We consider the following algorithmic problem associated with embeddings in ℝ³:     

Repeated Quantum Interactions and Unitary Random Walks

Among the discrete evolution equations describing a quantum system ℋ _S undergoing repeated quantum interactions with a chain of exterior systems, we study and characterize those which are directed by classical random variables in ℝ ^N . The characterization we obtain is entirely algebraical in terms of the unitary operator driving the elementary interaction. We show that the solutions of these equations are then random walks on the group U(ℋ₀) of unitary operators on ℋ₀.     

Coefficient Quantization in Banach Spaces

Let (e _i ) be a dictionary for a separable infinite-dimensional Banach space X. We consider the problem of approximation by linear combinations of dictionary elements with quantized coefficients drawn usually from a ‘finite alphabet’. We investigate several approximation properties of this type and connect them to the Banach space geometry of X. The existence of a total minimal system with one of these properties, namely the coefficient quantization property, is shown to be equivalent to X containing c ₀. We also show that, for every ε>0, the unit ball of every separable infinite-dimensional Banach space X contains a dictionary (x _i ) such that the additive group generated by (x _i ) is (3+ε)⁻¹-separated and 1/3-dense in X.      

Dini Set-Valued Directional Derivative in Locally Lipschitz Vector Optimization

The present paper studies the following constrained vector optimization problem: min  _C f(x), g(x)∈−K, h(x)=0, where f:ℝ ⁿ →ℝ ^m , g:ℝ ⁿ →ℝ ^p and h:ℝ ⁿ →ℝ ^q are locally Lipschitz functions and C⊂ℝ ^m , K⊂ℝ ^p are closed convex cones. In terms of the Dini set-valued directional derivative, first-order necessary and first-order sufficient conditions are obtained for a point x ⁰ to be a w-minimizer (weakly efficient point) or an i-minimizer (isolated minimizer of order 1). It is shown that, under natural assumptions (given by a nonsmooth variant of the implicit function theorem for the equality constraints), the obtained conditions improve some given by Clarke and Craven. Further comparison is done with some recent results of Khanh, Tuan and of Jiiménez, Novo.     

Boundary Value Problems with Compatible Boundary Conditions

If Y is a subset of the space ℝⁿ × ℝⁿ, we call a pair of continuous functions U, V Y-compatible, if they map the space ℝⁿ into itself and satisfy Ux · Vy ≥ 0, for all (x, y) ∈ Y with x · y ≥ 0. (Dot denotes inner product.) In this paper a nonlinear two point boundary value problem for a second order ordinary differential n-dimensional system is investigated, provided the boundary conditions are given via a pair of compatible mappings. By using a truncation of the initial equation and restrictions of its domain, Brouwer's fixed point theorem is applied to the composition of the consequent mapping with some projections and a one-parameter family of fixed points P _δ is obtained. Then passing to the limits as δ tends to zero the so-obtained accumulation points are solutions of the problem.     

Uniqueness in Discrete Tomography of Delone Sets with Long-Range Order

We address the problem of determining finite subsets of Delone sets Λ⊂ℝ ^d with long-range order by X-rays in prescribed Λ-directions, i.e., directions parallel to nonzero interpoint vectors of Λ. Here, an X-ray in direction u of a finite set gives the number of points in the set on each line parallel to u. For our main result, we introduce the notion of algebraic Delone sets Λ⊂ℝ² and derive a sufficient condition for the determination of the convex subsets of these sets by X-rays in four prescribed Λ-directions.     

Bounded Direction–Length Frameworks

A direction–length framework is a pair (G,p) where G=(V;D,L) is a ‘mixed’ graph whose edges are labelled as ‘direction’ or ‘length’ edges and p is a map from V to ℝ ^d for some d. The label of an edge uv represents a direction or length constraint between p(u) and p(v). Let G ⁺ be obtained from G by adding, for each length edge e of G, a direction edge with the same end vertices as e. We show that (G,p) is bounded if and only if (G ⁺,p) is infinitesimally rigid. This gives a characterization of when (G,p) is bounded in terms of the rank of the rigidity matrix of (G ⁺,p). We use this to characterize when a mixed graph is generically bounded in ℝ ^d . As an application we deduce that if (G,p) is a globally rigid generic framework with at least two length edges and e is a length edge of G then (G∖e,p) is bounded.     

A Note on Large Deviations for the Stable Marriage of?Poisson and Lebesgue with Random Appetites

Let Ξ⊂ℝ ^d be a set of centers chosen according to a Poisson point process in ℝ ^d . Let ψ be an allocation of ℝ ^d to Ξ in the sense of the Gale–Shapley marriage problem, with the additional feature that every center ξ∈Ξ has an appetite given by a nonnegative random variable α. Generalizing some previous results, we study large deviations for the distance of a typical point x∈ℝ ^d to its center ψ(x)∈Ξ, subject to some restrictions on the moments of α.     

Pseudo-differential operators on Sobolev and Lipschitz spaces

In this paper, by discovering a new fact that the Lebesgue boundedness of a class of pseudo- differential operators implies the Sobolev boundedness of another related class of pseudo-differential operators, the authors establish the boundedness of pseudo-differential operators with symbols in Sρ,δ^m on Sobolev spaces, where ∈ R, ρ≤ 1 and δ≤ 1. As its applications, the boundedness of commutators generated by pseudo-differential operators on Sobolev and Bessel potential spaces is deduced. Moreover, the boundedness of pseudo-differential operators on Lipschitz spaces is also obtained.     

Pseudodifferential Operators on Local Hardy Spaces

In this work, we study the continuity of pseudodifferential operators on local Hardy spaces h ^p (ℝ ⁿ ) and generalize the results due to Goldberg and Taylor by showing that operators with symbols in S _1,δ ⁰(ℝ ⁿ ), 0≤δ<1, and in some subclasses of S _1,1⁰(ℝ ⁿ ) are bounded on h ^p (ℝ ⁿ ) (0<p≤1). As an application, we study the local solvability of the planar vector field L=∂ _t +ib(x,t)∂ _x , b(x,t)≥0, in spaces of mixed norm involving Hardy spaces. Work supported in part by CNPq, FINEP, and FAPESP.     

Melnikov method for discontinuous planar systems

This paper treats the occurrence of homoclinic solutions in planar systems with discontinuous right-hand side. More precisely, we deal with a T$T$-periodic perturbed system such that the unperturbed system is an autonomous possessing homoclinic orbit. By means of the so-called “non-smooth” Melnikov function there is shown the existence of a homoclinic solution for a perturbed system. The non-smooth Melnikov function is derived, and the method of how to find it in concrete problems is also introduced.     

Not collapsing cardinals ≤<Emphasis Type="Italic">κ</Emphasis> in (<<Emphasis Type="Italic">κ</Emphasis>)-support iterations

We deal with the problem of preserving various versions of completeness in (<κ)-support iterations of forcing notions, generalizing the case “S-complete proper is preserved by CS iterations for a stationary costationaryS⊆ω ₁”. We give applications to Uniformization and the Whitehead problem. In particular, for a strongly inaccessible cardinalκ and a stationary setS⊆κ with fat complement we can have uniformization for every (A _δ :δ ∈S′),A _δ ⊆δ = supA _δ , cf (δ) = otp(A _δ ) and a stationary non-reflecting setS′⊆S (see B.8.2). Research supported by The German-Israeli Foundation for Scientific Research & Development Grant No. G-294.081.06/93 and by The National Science Foundation Grant No. 144-EF67. Publication No. 587.