On a variational problem with lack of compactness: the topological effect of the critical points at infinity

We study the subcritical problemsP :–u=u ^p–,u>0 on;u=0 on , being a smooth and bounded domain in ^N,N–3,p+1=2N/N–2 the critical Sobolev exponent and >0 going to zero — in order to compute the difference of topology that the critical points at infinity induce between the level sets of the functional corresponding to the limit case (P₀).

---

Résumé Nous étudions les problèmes sous-critiquesP :–u=u ^p–,u > 0 sur;u=0 sur –où est un domaine borné et régulier de ^N,N–3,p + 1=2N/N –2 est l'exposant critique de Sobolev, et >0 tend vers zéro, afin de calculer la différence de toplogie induite par les points critiques à l'infini entre les ensembles de niveau de la fonctionnelle correspondant au cas limite (P₀).

     

The Product of Independent Random Variables with Regularly Varying Tails

A distribution is said to have regularly varying tail with index – (0) if lim _x(kx,)/(x,)=k ^– for each k>0. Let X and Y be independent positive random variables with distributions and , respecitvely. The distribution of product XY is called Mellin–Stieltjes convolution (MS convolution) of and . It is known that D() (the class of distributions on (0,) that have regularly varying tails with index –) is closed under MS convolution. This paper deals with decomposition problem of distributions in D() related to MS convolution. A representation of a regularly varying function F of the following form is investigated: F(x)= _k=0 ^n–1 b _k f(a ^k x), where f is a measurable function and a and b _k (k=1,...,n–1) are real constants. A criterion is given for these constants in order that f be regularly varying. This criterion is applicable to show that there exist two distributions and such that neither nor belongs to D() (>0) and their MS convolution belongs to D().     

Formule d'Itô pour des Diffusions Uniformément Elliptiques,et Processus de Dirichlet

Soit X une diffusion uniformément elliptique sur R ^d ,F une fonction dans H _loc ¹(R ^d ) et la loi initiale de la diffusion. On montre que si l'intégrale |F|²(x)U(x)dx est finie, oùU désigne le potentiel de la mesure , alors F(X) est un processus de Dirichlet. Si de plus, F appartient àH ² _loc(R ^d ) et si les intégrales |F|²(x)U(x)dx et |f _k |²(x)U(x)dx sont finies, pour les dérivées faibles f _k de F, alors on peut écrire une formule d'Itô. En particulier, on définit l'intégrale progressive F(X)dX et on prouve l'existence des covariations quadratiques [f _k (X),X ^k ].     

Subordination des résolvantes

Résumé Soit (V ₎₀ une résolvante définie sur un espace mesurable telle que le noyau initial est borné; on trouve une condition nécéssaire et suffisante pour qu'un noyau borné U possède une résolvante (U ₎₀ telle que U V pour tout 0. On donne plusieurs applications de ce résultat.     

Positivity and Negativity of Solutions to a Schrödinger Equation in ℝ N

Weak L ² -solutions u of the Schrödinger equation, –u + q(x) u – u = f(x) in L ² , are represented by a Fourier series using spherical harmonics in order to prove the following strong maximum and anti-maximum principles in (N 2): Let ₁ denote the positive eigenfunction associated with the principal eigenvalue ₁ of the Schrödinger operator . Assume that the potential q(x) is radially symmetric and grows fast enough near infinity, and f is a `sufficiently smooth' perturbation of a radially symmetric function, f 0 and 0 f / C const a.e. in . Then u is ₁-positive for - < < ₁ (i.e., u c ₁ with c const > 0) and ₁-negative for ₁ < < ₁ + (i.e., u –c₁ with c const > 0), where > 0 is a number depending on f. The constant c > 0 depends on both and f.     

A property of nonlinear elliptic equations when the right-hand side is a measure

LetA(u)=–diva(x, u, Du) be a Leray-Lions operator defined onW ₀ ^1,p () and be a bounded Radon measure. For anyu SOLA (Solution Obtained as Limit of Approximations) ofA(u)= in ,u=0 on , we prove that the truncationsT _k(u) at heightk satisfyA(T _k(u)) A(u) in the weak * topology of measures whenk + .

---

Résumé SoitA(u)=–diva(x, u, Du) un opérateur de Leray-Lions défini surW ₀ ^1,p () et une mesure de Radon bornée. Pour toutu SOLA (Solution Obtenue comme Limite d'Approximations) deA(u)= dans ,u=0 sur , nous démontrons que les troncaturesT _k(u) à la hauteurk vérifientA(T _k(u)) A(u) dans la topologie faible * des mesures quandk + .

     

Steady vortex rings with swirl in an ideal fluid: asymptotics for some solutions in exterior domains

In this paper, the axisymmetric flow in an ideal fluid outside the infinite cylinder (rd) where (r, , z) denotes the cylindrical co-ordinates in ³ is considered. The motion is with swirl (i.e. the -component of the velocity of the flow is non constant). The (non-dimensional) equation governing the phenomenon is (Pd) displayed below. It is known from e.g. [9] that for the problem without swirl (f _q = 0 in (f)) in the whole space, as the flux constant k tends to 1) dist(0z, A) = O(k ^1/2); diam A = O(exp(–c ₀ k ^3/2));2) k^1/2)_k converges to a vortex cylinder U _m (see (1.2)).We show that for the problem with swirl, as k , 1) holds; if m q + 2 then 2) holds and if m > q + 2 it holds with U _q+2 instead of U _m. Moreover, these results are independent of f ₀, f _q and d > 0.     

k-regular factors and semi-k-regular factors in bipartite graphs

LetG be a graph, andk1 an integer. LetU be a subset ofV(G), and letF be a spanning subgraph ofG such that deg _F (x)=k for allx V(G)–U. If deg _F (x)k for allxU, thenF is called an upper semi-k-regular factor with defect setU, and if deg _F (x)k for allxU, thenF is called a lower semi-k-regular factor with defect setU. Now letG=(X, Y;E(G)) be a bipartite graph with bipartition (X,Y) such that X=Yk+2. We prove the following two results.(1) Suppose that for each subsetU ₁X such that U ₁=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.(2) Suppose that for each subsetU ₁X such that U ₁=X–1/k+1,G has a lower semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=X–1/k+1,G has a lower semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.     

Classification of pairs of subspaces in scalar product spaces

Up to the classification of Hermitian forms a classification has been given of triplesP=(V_F; U₁, U₂), consisting of a finite dimensional vector space V over a field of characteristic 2 with a symmetric, or a skew-symmetric, or Hermitian form F and two subspaces U₁, U₂. Two triplesP andP are identified with each other if there exists an isometry V_f V_f such that (U_i)=U_i, i=1, 2.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 4, pp. 549–554, April, 1990.     

There Exists a Simple Non Trivial t-design with an Arbitrarily Large Automorphism Group for Every t

In 1987, Teirlinckproved that if t and are two integers such that v t(mod(t + 1)!^(2t+1) and v t + 1 >0, then there exists a t - (v, t + 1, (t + 1)!^(2t+1)) design. We prove that if there exists a (t+1)-(v,k,)design and a t-(v-1,k-2, (k-t-1)/(v-k+1))design with t 2, then there exists a t-(v+1,k, (v-t+1)(v-t)/ (v-k+1)(k-t))design. Using this recursive construction, we prove that forany pair (t,n) of integers (t 2and n 0), there exists a simple non trivial t-(v,k,) design having an automorphism groupisomorphic to ⁿ ₂.     

Newton—Goldstein convergence rates for convex constrained minimization problems with singular solutions

Convergence rates of Newton-Goldstein sequences are estimated for convex constrained minimization problems with singular solutions, i.e., solutions at which the local quadratic approximationQ(, x) to the objective functionF grows more slowly than x – ² for admissible vectorsx near. For a large class of iterative minimization methods with quadratic subproblems, it is shown that the valuesr _n =F(x _n )–inf F are of orderO(n ^–1/3) at least. For the Newton—Goldstein method this estimate is sharpened slightly tor _n =O(n ^–1/2) when the second Fréchet differentialF is Lipschitz continuous and the admissible set is bounded. Still sharper estimates are derived when certain growth conditions are satisfied byF or its local linear approximation at. The most surprising conclusion is that Newton—Goldstein sequences can convergesuperlinearly to a singular extremal whenF(), x – Ax – ^v for someA > 0, somev (2,2.5) and allx in near, and that this growth condition onF() is entirely natural for a nontrivial class of constrained minimization problems on feasible sets = ¹{[0,1],U} withU a uniformly convex set in ^d . Feasible sets of this kind are commonly encountered in the optimal control of continuous-time dynamical systems governed by differential equations, and may be viewed as infinite-dimensional limits of Cartesian product setsU ^k in ^kd . Superlinear convergence of Newton—Goldstein sequences for the problem (,F) suggests that analogous sequences for increasingly refined finite-dimensional approximation (U ^kd ,F _k ) to (,F) will exhibit convergence properties that are in some sense uniformly good ink ask .Investigation partially supported by the U.S. Air Force through the Air Force Institute of Technology, and by NSF Grant ECS-8005958.     

Convergence of the Gradient Projection Method for Generalized Convex Minimization

This paper develops convergence theory of the gradient projection method by Calamai and Moré (Math. Programming, vol. 39, 93–116, 1987) which, for minimizing a continuously differentiable optimization problem min{f(x) : x } where is a nonempty closed convex set, generates a sequence x_k+1 = P(x_k – _k f(x_k)) where the stepsize _k > 0 is chosen suitably. It is shown that, when f(x) is a pseudo-convex (quasi-convex) function, this method has strong convergence results: either x_k x^* and x^* is a minimizer (stationary point); or x_k arg min{f(x) : x } = , and f(x_k) inf{f(x) : x }.     

A decomposition for the exponential dispersion model generated by the invariant measure on the hyperboloid

For = ₀, ₁, ₂) andx=(x₀, x₁, x₂) in R³, define [,x] = ₀ x ₀ – ₁ x ₁ – ₂ x ₂,C = {x³:x ₀ > 0 and [x, x]>0},R(x)=([x, x]) ^1/2 forx inC andH ₁={xC: x₀>0,R(x)=1}. Define the measure onH ₁ such that if is inC and =R(), then exp (–[,x])(dx = ( exp )^–1. Therefore, is invariant under the action ofSO (1, 2), the connected component ofO(1, 2) containing the identity. We first prove that there exists a positive measure in ³ such that its Laplace transform is ( exp )^– if and only if >1. Finally, for 1 and inC, denotingP(,)(dx) = ( exp )^– exp (–[,x])(dx, we show that ifY ₀,...,Y _n aren+1 independent variables with densityP(,),j=0,...,n and ifS _k =X ₀ + ... +X _k andQ _k =R(S _k) –R(S _k–1) –R(Y _k),k=1,...,n, then then+1 statisticsD _n = [/,S _k ] –R _{k – 1} ),Q ₁,...,Q _n are independent random variables with the exponential () or gamma (1,1/) distribution.This research has been partially funded by NSERC Grant A8947.     

K-theory of reduced C*-algebras and rapidly decreasing functions on groups

We associate to any length function L on a group a space of rapidly decreasing functions on (in the l ² sense), denoted by H _L (). When H _L () is contained in the reduced C*-algebra C _r ^* () of (), then it is a dense *-subalgebra of C _r ^* () and we prove a theorem of A. Connes which asserts that under this hypothesis H _L () has the same K-theory as C _r ^* (). We introduce another space of rapidly decreasing functions on (in the l ¹ sense), denoted by H _L ^1, (), which is always a dense *-subalgebra of the Banach algebra l ¹(), and we show that H _L ^1, () has the same K-theory as l ¹().     

Characterization of Dirichlet Forms by their Excessive and Co–Excessive Elements

It is proved that if S, T are two elliptic Dirichlet operators on an ordered Hilbert space such that the excessive (resp. coexcessive) elements with respect to S and T are the same then there exists > 0 with T = S. Particularly if , are two elliptic Dirichlet forms on L² ( ) having the same domain of definition and the same -excessive (resp. -coexcessive) elements for any > 0 then = .     

Non removable edges in 3-connected cubic graphs

LetG be a cyclicallyk-edge-connected cubic graph withk 3. Lete be an edge ofG. LetG be the cubic graph obtained fromG by deletinge and its end vertices. The edgee is said to bek-removable ifG is also cyclicallyk-edge-connected. Let us denote by S _k (G) the graph induced by thek-removable edges and by N _k (G) the graph induced by the non 3-removable edges ofG. In a previous paper [7], we have proved that N ₃(G) is empty if and only ifG is cyclically 4-edge connected and that if N ₃(G) is not empty then it is a forest containing at least three trees. Andersen, Fleischner and Jackson [1] and, independently, McCuaig [11] studied N ₄(G). Here, we study the structure of N _k (G) fork 5 and we give some constructions of graphs such thatN _k (G) = E(G). We note that the main result of this paper (Theorem 5) has been announced independently by McCuaig [11].

---

Résumé SoitG un graphe cubique cyliquementk-arête-connexe, aveck 3. Soite une arête deG et soitG le graphe cubique obtenu à partir deG en supprimante et ses extrémités. L'arêtee est ditek-suppressible siG est aussi cycliquementk-arête-connexe. Désignons par S _k (G) le graphe induit par les arêtesk-suppressibles et par N _k (G) celui induit par les arêtes nonk-suppressibles. Dans un précédent article [7], nous avons montré que N ₃(G) est vide si et seulement siG est cycliquement 4-arête-connexe et que si N ₃(G) n'est pas vide alors c'est une forêt possédant au moins trois arbres. Andersen, Fleischner and Jackson [1] et, indépendemment, McCuaig [11] ont étudié N ₄(G). Ici, nous étudions la structure de N _k (G) pourk 5 et nous donnons des constructions de graphes pour lesquelsN _k (G) = E(G). Nous signalons que le résultat principal de cet article (Théorème 5) a été annoncé indépendamment par McCuaig [11].

     

The Eta Invariant and the Real Connective K-Theory of the Classifying Space for Quaternion Groups

We express the real connective K-theory groups o_4k–1(B Q ) ofthe quaternion group Q of order = 2 ^j 8 in terms of therepresentation theory of Q by showing o_4k–1(B Q ) = Sp(S ^4k+3/Q )where is any fixed point free representation of Q in U(2k + 2).     

Large deflections of eccentrically loaded arches

Zusammenfassung Auf Grund der Hypothesen von Ebenbleiben und Normalität der Querschnitte werden die Differentialgleichungen der nichtlinearen Theorie der Bogenträger abgeleitet und im Falle des schlanken, durch Einzellasten belasteten Kreisbogenträgers mit undehnbarer Mittellinie auf die Form der Pendelgleichung gebracht. Diese Gleichung wird dann benutzt, um die grossen Durchbiegungen und die Spannungsresultierenden eines Zweigelenkkreisbogens, der durch eine lotrechte exzentrische Einzellast belastet wird, zu berechnen. In der Nähe der kritischen Last bewirken kleine Exzentrizitäten bedeutende Grössenänderungen der Spannungsresultierenden und der Durchbiegungen.

---

Notation A cross-sectional area of curved beam - a radius of centroidal circle - E modulus of elasticity - e eccentricity of the load (Fig. 2) - F an arbitrary function - H horizontal component of the internal forceR acting on a cross section of the arch rib (Fig. 2) - h _P horizontal displacement of the loadP (Fig. 2) - I moment of inertia of the cross-sectional area - k ² =4p ²/(1+4p ² sin²₀) - L span (distance between supports),L=2a sin - M internal bending couple (Figs. 1 and 2) - N internal normal tensile force (Figs. 1 and 2) - n distributed tangential load (Fig. 1) - P downward point load (Fig. 2) - p ² –R a ² /E I - Q internal shearing force (Figs. 1 and 2) - q distributed normal load (Fig. 1) - R internal resultant force (Fig. 2);R ²=H ²+V ²=N ²+Q ² - radius of curvature of the undeformed centroidal curve - s length along the unextended centroidal curve measured from the left support - length along the unextended centroidal curve measured from the right support - u tangential displacement component of the centroidal curve (Fig. 1) - V vertical component ofR (Fig. 2) - v _P vertical displacement of the loadP (Fig. 2) - w normal displacement component (Fig. 1) - x, y rectangular coordinates of the deformed left portion of the centroidal curve (Fig. 2) - Z - z normal distance (positive inward) from centroidal curve (Fig. 1) - half subtending angle of the arch (Fig. 2) - angle of rotation of the centroidal curve (Fig. 1) - extensional strain of the centroidal curve - ^z extensional strain of the linez=constant - y cos–x sin - angle between the tangent to the formed left portion of the centroidal curve and the horizontal (Fig. 2) - (u–w)/r, whereu=du/dø - angle betweenH andR - x cos+y sin - normal stress along the centroidal curve - ^z normal stress along the linez=constant - angle measured from the radius at the left support of the undeformed arch - (–)/2 (Fig. 2) - (+u)/r, where =d/dø A bar over a letter indicates that the entity pertains to the right portion of the arch. Asterisk indicates the deformed configuration. Primes indicate derivatives with respect to ø.     

C k -B-splines with Square Support on a Three-Direction Mesh of the Plane

Let be the uniform triangulation generated by the usual three-directional mesh of the plane and let ₁ be the unit square consisting of two triangles of . We study the space of piecewise polynomial functions in C ^k (R ²) with support ₁ having a sufficiently high degree n, which are symmetrical with respect to the first diagonal of ₁. Such splines are called ₁-splines. We first compute the dimension of this space in function of n and k. Then, for any fixed k0, we prove the existence of ₁-splines of class C ^k and minimal degree. These splines are not unique. Finally, we describe an algorithm computing the Bernstein–Bézier coefficients of these splines, and we give an example.     

Opérateurs de mise en mémoire et traduction de Gödel

Résumé En-calcul, la stratégie de réduction à gauche (appel par nom) a, comme on sait, de bonnes propriétés mathématiques; en particulier, elle termine toujours si on l'applique à un terme normalisable. Mais, avec cette stratégie, l'argument d'une fonction est recalculé à chaque utilisation.Pour éviter ce défaut, on définit la notion «d'opérateur de mise en mémoire» (pour un type de données). SiT est un opérateur de mise en mémoire, pour les entiers par exemple, on remplace l'évaluation, par réduction gauche, de (où est un entier et un -terme quelconque) par celle deT; et celle-ci revient à ramener d'abord à une forme réduite ₀, puis à appliquer à ₀. On a donc ainsi simulé «l'appel par valeur» dans la stratégie de réduction à gauche.Le théorème principal (Corollaire du Théorème 4.1) montre que, dans un 1-calcul typé du second ordre, en utilisant la traduction de Gödel de la logique classique en logique intuitionniste, on peut trouver un type (spécification) très simple pour les opérateurs de mise en mémoire. Il donne donc aussi un moyen d'obtenir ces opérateurs, à savoir de démontrer ce type dans le calcul des prédicats intuitionniste du second ordre.

---

In-calculus, the strategy of leftmost reduction (call-by-name) is known to have good mathematical properties; in particular, it always terminates when applied to a normalizable term. On the other hand, with this strategy, the argument of a function is re-evaluated at each time it is used.To avoid this drawback, we define the notion of storage operator, for each data type. IfT is a storage operator for integers, for example, let us replace the evaluation, by leftmost reduction, of (where is an integer, and any-term) by the evaluation oft. Then, this computation is the same as the following: first compute up to some reduced form ₀, and then apply to ₀. So, we have simulated call-by-value evaluation within the strategy of leftmost reduction.The main theorem of the paper (Corollary of Theorem 4.1) shows that, in a second order-calculus, using Gödel's translation of classical intuitionistic logic, we can find a very simple type (or specification) for storage operators. Thus, it gives a way to get such operators, which is to prove this type in second order intuitionistic predicate calculus.