首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 46 毫秒
1.
In 1903 Minkowski showed that, given pairwise different unitvectors µ1, ..., µm in Euclidean n-space Rn whichspan Rn, and positive reals µ1, ..., µm such thatmi=1µiµi = 0, there exists a polytope P in Rn, uniqueup to translation, with outer unit facet normals µ1, ...,µm and corresponding facet volumes µ1, ..., µm.This paper deals with the computational complexity of the underlyingreconstruction problem, to determine a presentation of P asthe intersection of its facet halfspaces. After a natural reformulationthat reflects the fact that the binary Turing-machine modelof computation is employed, it is shown that this reconstructionproblem can be solved in polynomial time when the dimensionis fixed but is #P-hard when the dimension is part of the input. The problem of ‘Minkowski reconstruction’ has variousapplications in image processing, and the underlying data structureis relevant for other algorithmic questions in computationalconvexity.  相似文献   

2.
Let f(x) be a given, real-valued, continuous function definedon an interval [a,b]of the real line. Given a set of m real-valued,continuous functions j(x) defined on [a,b], a linear approximatingfunction can be formed with any real setA = {a1, a2,..., am}. We present results for determining A sothat F(A, x) is a best approximation to(x) when the measureof goodness of approximation is a weighted sum of |F(A, x)–f(x)|,the weights being positive constants, w, when F(A, x) f(x)and w2 otherwise (when w, = w2 = 1, the measure is the L1, norm).The results are derived from a linear programming formulationof the problem. In particular, we give a theorem which shows when such bestapproximations interpolate the function at fixed ordinates whichare independent of f(x). We show how the fixed points can becalculated and we present numerical results to indicate thatthe theorem is quite robust.  相似文献   

3.
En 1914, Littlewood a montré, contre l'opinion couranteà l'époque, qu'il existe des valeurs de x pourlesquelles le nombre de nombres premiers inférieurs àx, (x), dépasse le logarithme intégral de x, lix. Plus précisément, il a établi que, pourun K > 0 convenable, il existe une infinité de valeursde x pour lesquelles etaussi [1] une infinité de valeurs de x pour lesquelles En 1937, Beurling a instauréune nouvelle manière de considérer les problèmessur les nombres premiers, en introduisant les ‘nombrespremiers généralisés’ [2]. L'idéeest de partir d'une fonction croissante P(x) (x 0), nulle sur[0, 1], qui joue le rôle de (x). On lui associe la fonctiondzeta et la fonction croissante N(x) (qui joue le rôlede la partie entière de x) selon la formule l'hypothèse est toujours queles intégrales ci-dessus existent lorque > 1 (s = + it). Le but de Beurling est, partant de propriétésconvenables de la fonction N(x), d'obtenir pour P(x) le ‘théorèmedes nombres premiers’, P(x) li x (x ). Nous allons,au contraire, partir d'une hypothèse simple sur P(x)(par exemple, P(x) < li x) et en tirer des conséquencespour la fonction (x), en laissant de côté la fonctionN(x). Bien entendu, nous verrons en passant que l'hypothèseP(x) < li x est incompatible avec le fait que (s) soit lafonction dzeta de Riemann. Il sera commode d'associer à la fonction (s) la fonction elle aussi définiepour > 1. Ainsi Nousnous servirons seulement des deux faits suivants. 1991 MathematicsSubject Classification 11M41, 11N80.  相似文献   

4.
We consider edge colourings of the complete r-uniform hypergraphKn(r)on n vertices. How many colours may such a colouring haveif we restrict the number of colours locally? The local restrictionis formulated as follows: for a fixed hypergraph H and an integerk we call a colouring (H, k)-local if every copy of H in thecomplete hypergraph Kn(r) receives at most k different colours. We investigate the threshold for k that guarantees that every(H, k)-local colouring of Kn(r) must have a globally boundednumber of colours as n , and we establish this threshold exactly.The following phenomenon is also observed: for many H (at leastin the case of graphs), if k is a little over this threshold,the unbounded (H, k)-local colourings exhibit their colourfulnessin a ‘sparse way’; more precisely, a bounded numberof colours are dominant while all other colours are rare. Hencewe study the threshold k0 for k that guarantees that every (H,k)-local colouring n of Kn(r) with k k0 must have a globallybounded number of colours after the deletion of up to nr edgesfor any fixed > 0 (the bound on the number of colours isallowed to depend on H and only); we think of such colouringsn as ‘essentially finite’. As it turns out, everyessentially infinite colouring is closely related to a non-monochromaticcanonical Ramsey colouring of Erdös and Rado. This secondthreshold is determined up to an additive error of 1 for everyhypergraph H. Our results extend earlier work for graphs byClapsadle and Schelp [‘Local edge colorings that are global’,J. Graph Theory 18 (1994) 389–399] and by the first twoauthors and Schelp [‘Essentially infinite colourings ofgraphs’, J. London Math. Soc. (2) 61 (2000) 658–670].We also consider a related question for colourings of the integersand arithmetic progressions.
2000 Mathematics Subject Classification 05D10 (primary), 05C35(secondary). The first author was partially supported by NSF grants CCR 0225610and DMS 0505550. The second author was partially supported byFAPESP and CNPq through a Temático–ProNEx project(Proc. FAPESP 2003/09925–5) and by CNPq (Proc. 306334/2004–6and 479882/2004–5). The third author was partially supportedby NSF grant DMS 0300529. The fourth author was partly supportedby the DFG within the European graduate program ‘Combinatorics,Geometry, and Computation’ (No. GRK 588/2) and by DFGgrant SCHA 1263/1–1. This work was supported in part bya CAPES/DAAD collaboration grant.  相似文献   

5.
Generalized Steffensen methods are nonderivative algorithmsfor the computation of fixed points of a function f. They replacethe functional iteration Zm+1=f(Zm) with Zm+1=Fn(Zm, where Fnis explicitly provided for every n 1 as a quotient of two Hankeldeterminants. In this paper we derive rules pertaining to thelocal behaviour of these methods. Specifically, and subjectto analyticity, given that is a bounded fixed point of f, thenit is also a fixed point of Fn. Moreover, unless f'() vanishesor is a root of unity, becomes a superattractive fixed pointof Fn of degree n; if f'() is a root of unity of minimal degreeq2, then is (as a fixed point of Fn) superattractive of degreemin {q-1, n}; if f'()=1, then is attractive for Fn; and, finally,if is superattractive of degree s (as a fixed point of f),then it becomes superattractive of degree (s + 1)n–1(ns+ s + 1)–1. Attractivity rules change at infinity (providedthat f()=). Broadly speaking, infinity becomes less attractivefor Fn, Since one is interested in convergence to finite fixedpoints, this further enhances the appeal of generalized Steffensenmethods.  相似文献   

6.
Local behaviour of a K-quasiconformal mapping f at a point z0of maximal stretching is studied. A sufficient condition forthe existence of the finite limit lim(f(z) – f(z0))/(zz0)|zz0|1/K–1 as z z0, and a criterionfor z0 to be a point of maximal stretching are given.  相似文献   

7.
We study genus 5 curves C with a fixed point free involution.We give a geometrical (embedded) characterisation of these curvesamong all genus 5 curves: the points of the Prym variety associatedto the involution give embeddings of the curve C in P3 so thatC has infinitely many quadrisecant lines. Conversely, any genus5 curve having such an embedding is endowed with a fixed pointfree involution and the embedding is given by a point of thePrym variety.  相似文献   

8.
Let m, g, q N with q 2 and (m, q – 1) = 1. For n N,denote by sn(n) the sum of digits of n in the q-ary digitalexpansion. Given a polynomial f with integer coefficients, degreed 1, and such that f(N) N, it is shown that there exists C= C(f, m, q) > 0 such that for any g Z, and all large N, In the special case m = q = 2 and f(n)= n2, the value C = 1/20 is admissible. 2000 Mathematics SubjectClassification 11B85 (primary), 11N37, 11N69 (secondary).  相似文献   

9.
An Rm-valued sequence (xk): = (xk : k = 1, 2, ...), e.g. generatedrecursively by xk = fk (xkk, Uk), is called ‘averagepth power bounded’ if (1/K) is bounded uniformly in K= 1, 2,.... (The case p = 2 may correspond to ‘power’in the physical sense.) This is a notion of stability. Givenestimates of the form: fk (x, u) < a x + ¶ k conditionsare obtained on the coefficient sequence (ak) and the inputestimates ek:=¶k (uk) which ensure this form of stabilityfor the output (xk). In particular, a condition (utilized inan application to adaptive control) is obtained which imposes(i) a bound b on (ak) and a ‘sparsity measure’ m(K) on #{kK: ak>} as K ( >1) (ii) average pth power boundednesson (ek), and (iii) a growth condition on (ek) related to b andm (•). This condition is sharp.  相似文献   

10.
Let Sn, n 1, be a random walk on a polynomial hypergroup (N0,*), that is, a Markov chain on the nonnegative integers withstationary transition probabilities Pij = i* µ({j}), whereµ is a fixed probability measureon N0. Under certain conditionson this measure, the principle of large deviations is shownfor the distributions of Sn/n. This result comprises the largedeviation principle for birth and death random walks associatedwith the polynomials generating the polynomial hypergroup.  相似文献   

11.
The purpose of this note is to generalise, and give a more illuminatingproof, of a theorem of [13] (Theorem 1.1 below). Before statingit, we provide some introductory information. Consider the followingtwo sequences of pictures: in each we see a 1-parameter familyXR,t of real algebraic hypersurfaces, which undergoes a bifurcationwhen the parameter t is equal to 0. Note that in Figure 1, both(i) (a) and (i) (b), and in (ii) (b), the surface XR,t has apurely 1-dimensional part, which we have indicated with a dottedline, and that in (i) (b) we have drawn a curve vertically alongthe middle of the surface to make clearer the way it passesthrough itself. The reader will observe that in (a) the surfaceXR,t is homotopically a 2-sphere when t>0 and a 0-spherewhen t<0, while in (b) XR,t is a homotopy 1-sphere both fort<0 and t>0. Such sequences are typical in singularity theory; each is infact the family of algebraic closures of images of a versaldeformation of a codimension 1 singularity of mapping. Now suppose that the complexification XC,t is a homotopy n-sphere.In [13] the second author pointed out that it follows that XR,tis a homotopy sphere for t0 (allowing the empty set as a –1-sphere).Indeed, in the local situation, or globally in the weightedhomogeneous case, there are well-defined integers k+ and kbetween –1 and n such that XR,tSk+ for t>0 and XR,tSkfor t<0. We describe XR,t for tR–0 as ‘good’ if thehomotopy dimension of XR,t is equal to n. In this case the inclusionXR,tXt is a homotopy equivalence [13, 1.1].  相似文献   

12.
The solution of the Stokes problem in three-dimensional domainswith edges has anisotropic singular behaviour which is treatednumerically by using anisotropic finite element meshes. Thevelocity is approximated by Crouzeix–Raviart (nonconformingP1 ) elements and the pressure by piecewise constants. Thismethod is stable for general meshes (without minimal or maximalangle condition). Denoting by Ne the number of elements in themesh, the interpolation and consistency errors are of the optimalorder h Ne–1/3 which is proved for tensor product meshes.As a by-product, we analyse also nonconforming prismatic elementswith P1 [oplus ] span {x32} as the local space for the velocitywhere x3 is the direction of the edge.  相似文献   

13.
We consider the plane-strain buckling of a cylindrical shellof arbitrary thickness which is made of a Varga material andis subjected to an external hydrostatic pressure on its outersurface. The WKB method is used to solve the eigenvalue problemthat results from the linear bifurcation analysis. We show thatthe circular cross-section buckles into a non-circular shapeat a value of µ1 which depends on A1/A2 and a mode number,where A1 and A2 are the undeformed inner and outer radii, andµ1 is the ratio of the deformed inner radius to A1. Inthe large mode number limit, we find that the dependence ofµ1 on A1/A2 has a boundary layer structure: it is constantover almost the entire region of 0 < A1/A2 < 1 and decreasessharply from this constant value to unity as A1/A2 tends tounity. Our asymptotic results for A1 – 1 = O(1) and A1– 1 = O(1/n) are shown to agree with the numerical resultsobtained by using the compound matrix method.  相似文献   

14.
The topological disc (De Paepe's) isshown here to have non-trivial polynomially convex hull. Infact, the authors show that this holds for all discs of theform , where f is holomorphicon |z|r, and f(z=z2+a3z3+..., with all coefficients an real,and at least one a2n+1 0. 2000 Mathematics Subject Classification32E20.  相似文献   

15.
Shapiro's cyclic sum is defined by , If K is the cone in Rn of points withnon-negative coordinates, it is shown that the minimum of Ein K is a fixed point of T2, where T is the non-linear operatordefined by (Tx)i = xni+1/(xni+2 + xni+3)2for i = 1,2,...,n. It is conjectured that Tx = Skx, where Sis the shift operator in Rn, and a proof is given under someadditional hypotheses. One of the consequences is a simple proofthat at the minimum point, ai(x) = ani+1–k(x) fori = 1,2,...,n.  相似文献   

16.
Let A be a unital von Neumann algebra of operators on a complexseparable Hilbert space H0, and let {Tt, t 0} be a uniformlycontinuous quantum dynamical semigroup of completely positiveunital maps on A. The infinitesimal generator L of {Tt} is abounded linear operator on the Banach space A. For any Hilbertspace K, denote by B(K) the von Neumann algebra of all boundedoperators on K. Christensen and Evans [3] have shown that Lhas the form [formula] where is a representation of A in B(K) for some Hilbert spaceK, R: H0 K is a bounded operator satisfying the ‘minimality’condition that the set {(RX–(X)R)u, uH0, XA} is totalin K, and K0 is a fixed element of A. The unitality of {Tt}implies that L(1) = 0, and consequently K0=iHR*R, whereH is a hermitian element of A. Thus (1.1) can be expressed as [formula] We say that the quadruple (K, , R, H) constitutes the set ofChristensen–Evans (CE) parameters which determine theCE generator L of the semigroup {Tt}. It is quite possible thatanother set (K', ', R', H') of CE parameters may determine thesame generator L. In such a case, we say that these two setsof CE parameters are equivalent. In Section 2 we study thisequivalence relation in some detail. 1991 Mathematics SubjectClassification 81S25, 60J25.  相似文献   

17.
A fully discrete stabilized finite-element method is presentedfor the two-dimensional time-dependent Navier–Stokes problem.The spatial discretization is based on a finite-element spacepair (Xh, Mh) for the approximation of the velocity and thepressure, constructed by using the Q1P0 quadrilateralelement or the P1P0 triangular element; the time discretizationis based on the Euler semi-implicit scheme. It is shown thatthe proposed fully discrete stabilized finite-element methodresults in the optimal order error bounds for the velocity andthe pressure.  相似文献   

18.
In this paper, the l2l (energy-to-peak) performanceof the discrete-time Markovian jump linear system is investigated.The jump parameters are modelled by a discrete-time Markov process.Furthermore, we study the l2l reduced-order filteringproblem for the Markovian jump linear system. A reduced-orderfilter with the same randomly jumping parameters is proposedwhich can make the error systems with Markovian jump parametersstochastically stable with a prescribed l2lperformance.Sufficient conditions in terms of linear matrix inequalities(LMIs) and a coupling non-convex rank constraint are derivedfor the existence of a solution to the reduced-order filteringproblems. A numerical example is given to illustrate the designprocedures.  相似文献   

19.
A flow-reversal method involving the injection and retrievalof fluid from a fractured, porous medium at a different temperatureto that of the system in its undisturbed state is describedand assessed as a potential technique for measuring the thermaltransients of blocks of fractured porous media. Formulae areobtained for the zeroth- and first-order time moments of thethermal history of the fluid when it is well mixed in the injection-retrievalhole, injected at a temperature T1 (different to the uniformtemperature T0 of the undisturbed system) at a fixed rate Q,for a time t1 and then withdrawn through the same drill holeat the same fixed rate Q. These formulae have a potential fordetermining some geometric parameters of the block structure,including the block surface-to-volume ratio and the mean actiontime for conductive heating.  相似文献   

20.
We investigate Riemann–Liouville processes RH, with H> 0, and fractional Brownian motions BH, for 0 < H <1, and study their small deviation properties in the spacesLq([0, 1], µ). Of special interest here are thin (fractal)measures µ, that is, those that are singular with respectto the Lebesgue measure. We describe the behavior of small deviationprobabilities by numerical quantities of µ, called mixedentropy numbers, characterizing size and regularity of the underlyingmeasure. For the particularly interesting case of self-similarmeasures, the asymptotic behavior of the mixed entropy is evaluatedexplicitly. We also provide two-sided estimates for this quantityin the case of random measures generated by subordinators. While the upper asymptotic bound for the small deviation probabilityis proved by purely probabilistic methods, the lower bound isverified by analytic tools concerning entropy and Kolmogorovnumbers of Riemann–Liouville operators. 2000 MathematicsSubject Classification 60G15 (primary), 47B06, 47G10, 28A80(secondary).  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号