We prove that the trace of the space to an arbitrary closed subset is characterized by the following ``finiteness' property. A function belongs to the trace space if and only if the restriction to an arbitrary subset consisting of at most can be extended to a function such that
The constant is sharp.
The proof is based on a Lipschitz selection result which is interesting in its own right.
When the streamlinediffusion finite element method isapplied to convectiondiffusion problems using nonconformingtrial spaces, it has previously been observed that stabilityand convergence problems may occur. It has consequently beenproposed that certain jump terms should be added to the bilinearform to obtain the same stability and convergence behaviouras in the conforming case. The analysis in this paper showsthat for the Qrot1 1 element on rectangular shape-regular tensor-productmeshes, no jump terms are needed to stabilize the method. Inthis case moreover, for smooth solutions we derive in the streamlinediffusionnorm convergence of order h3/2 (uniformly in the diffusion coefficientof the problem), where h is the mesh diameter. (This estimateis already known for the conforming case.) Our analysis alsoshows that similar stability and convergence results fail tohold true for analogous piecewise linear nonconforming elements. 相似文献
Solutions to optimization problems of convex type are typically characterized by saddle point conditions in which the primal vector is paired with a dual multiplier vector. This paper investigates the behavior of such a primal-dual pair with respect to perturbations in parameters on which the problem depends. A necessary and sufficient condition in terms of certain matrices is developed for the mapping from parameter vectors to saddle points to be single-valued and Lipschitz continuous locally. It is shown that the saddle point mapping is then semi-differentiable, and that its semi-derivative at any point and in any direction can be calculated by determining the unique solutions to an auxiliary problem of extended linear-quadratic programming and its dual. A matrix characterization of calmness of the solution mapping is provided as well. 相似文献
A load-balanced network with two queues Q1 and Q2 is considered. Each queue receives a Poisson stream of customers at rate i, i=1,2. In addition, a Poisson stream of rate arrives to the system; the customers from this stream join the shorter of two queues. After being served in the ith queue, i=1,2, customers leave the system with probability 1–pi*, join the jth queue with probability p(i,j), j=1,2, and choose the shortest of two queues with probability p(i,{1,2}). We establish necessary and sufficient conditions for stability of the system. 相似文献
We study multiclass queueing networks with the earliest-due-date, first-served (EDDFS) discipline. For these networks, the service priority of a customer is determined, upon its arrival in the network, by an assigned random due date. First-in-system, first-out queueing networks, where a customer's priority is given by its arrival time in the network, are a special case. Using fluid models, we show that EDDFS queueing networks, without preemption, are stable whenever the traffic intensity satisfies j<1 for each station j. 相似文献
For every normed space , we note its closed unit ball and unit sphere by and , respectively. Let and be normed spaces such that is Lipschitz homeomorphic to , and is Lipschitz homeomorphic to .
We prove that the following are equivalent:
1. is Lipschitz homeomorphic to .
2. is Lipschitz homeomorphic to .
3. is Lipschitz homeomorphic to .
This result holds also in the uniform category, except (2 or 3) 1 which is known to be false.
A nonlinear integral operator T of the form (Tf)(s)=∫GK(t, f (σ(s, t))) dμ(t), for sG, is defined and investigated in the measure space (G, Σ, μ), where f and K are vector-valued functions with values in normed linear spaces E and F, respectively. The results are applied to the case of integro-differential operators in generalized Orlicz–Sobolev spaces. There are studied problems of existence, embeddings, and approximation by means of T. 相似文献
Consider a new concept of stability of the so-called rated motion of a system of an ordinary differential equations. A rated motion need not be a solution of this system at all. In terms of Lyapunovs direct method, formulate and prove certain statements about rated stability, asymptotically rated stability, and rated unstability of zero motion of a system of an ordinary differential equations.AMS Subject Classification (1991): 34D05 34D35 93D30 93D20 相似文献
This paper deals with Lipschitz selections of set-valued maps with closed graphs. First, we characterize Lipschitzianity of a closed set-valued map in the differential games framework in terms of a discriminating property of its graph. This allows us to consider the -Lipschitz kernel of a given set-valued map as the largest -Lipschitz closed set-valued map contained in the initial one, to derive an algorithm to compute the collection of Lipschitz selections, and to extend the Pasch–Hausdorff envelope to set-valued maps. 相似文献