Differentiability for Green's operators of variational inequalities and applications to the determination of bifurcation points

We study Fréchet differentiability at the origin, in the Hilbert space $\text{L}{}^2\text{(Ω)}$, for the Green's operator P and we apply these results to the calculus of bifurcation points.     

Minimax principles for convex eigenvalue problems

Positive solutions of the nonlinear eigenvalue problem Au = σu for a forced, convex, isotone, compact operator on a partially ordered locally convex topological vector space E are considered. Denote by $\text{σ}{}^1$ the infimum of the set of σ for which the equation has a solution u in the positive cone K of E. $\text{σ}{}^1$ is characterized as the saddle value of a functional J_A determined by A and defined on the Cartesian product of K and its dual $\text{K}{}^1$.     

Positive definite distributions on K\GK

Let G be a semisimple noncompact Lie group with finite center and let K be a maximal compact subgroup. Then W. H. Barker has shown that if T is a positive definite distribution on G, then T extends to Harish-Chandra's Schwartz space $\text{C}$¹(G). We show that the corresponding property is no longer true for the space of double cosets $\text{K}\text{G}\text{K}$. If G is of real-rank 1, we construct liner functionals $\text{T}{}_{\mathrm{p}}\text{? (C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{))′}$ for each p, 0 < p ? 2, such that $\text{T}{}_{\mathrm{p}}\text{(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$ but T_p does not extend to a continuous functional on $\text{C}{}^{\mathrm{p}}\text{(K}\text{G}\text{K}\text{)}$. In particular, if p ? 1, T_v does not extend to a continuous functional on $\text{C}{}^1\text{(K}\text{G}\text{K}\text{)}$. We use this to answer a question (in the negative) raised by Barker whether for a K-bi-invariant distribution T on G to be positive definite it is enough to verify that $\text{T(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$. The main tool used is a theorem of Trombi-Varadarajan.     

On the duality operator of a convex cone

Let C be a convex set in Rⁿ. For each y?C, the cone of C at y, denoted by cone(y, C), is the cone {α(x ? y): α ? 0 and x?C}. If K is a cone in Rⁿ, we shall denote by $\text{K}{}^1$ its dual cone and by F(K) the lattice of faces of K. Then the duality operator of K is the mapping $\text{d}{}_{\mathrm{K}}\text{: F(K) → F(K}{}^1\text{)}$ given by $\text{d}{}_{\mathrm{K}}\text{(F) = (}\text{span}\text{F)}{}^{\mathrm{\perp }}\text{∩ K}{}^1$. Properties of the duality operator d_K of a closed, pointed, full cone K have been studied before. In this paper, we study d_K for a general cone K, especially in relation to d_{cone(y, K)}, where y?K. Our main result says that, for any closed cone K in Rⁿ, the duality operator d_K is injective (surjective) if and only if the duality operator d_{cone(y, K)} is injective (surjective) for each vector y?K ～ [K ∩ (? K)]. In the last part of the paper, we obtain some partial results on the problem of constructing a compact convex set C, which contains the zero vector, such that cone (0, C) is equal to a given cone.     

Generalization of Fenchel's duality theorem for convex vector optimization

For a vector-valued function f, Sup f and Inf f are defined from the Yu's domination theory and the Pareto's efficiency. A notion of conjugate is proposed for convex vector-valued function, this construction gives once more the usual conjugate function: $\text{f}{}^1\text{(x}{}^1\text{) =}\text{sup}\text{[〈x}{}^1\text{, x〉 ? f(x)]}$ when the function f is scalar. Then, this concept is used to write the Fenchel's problem in convex multiple objective optimization and to prove the associated duality theorem.     

Positive operators on the n-dimensional ice cream cone

Let $\text{K}{}_{\mathrm{n}}\text{= {x ? R}{}^{\mathrm{n}}\text{: (x}{}_1{}^2\text{+ · +x}{}^2{}_{\mathrm{n?1}}\text{)}\text{1}\text{2}\text{? x}{}_{\mathrm{n}}\text{}}$ be the n-dimensional ice cream cone, and let Γ(K_n) be the cone of all matrices in $\text{R}$ⁿⁿ mapping K_n into itself. We determine the structure of Γ(K_n), and in particular characterize the extreme matrices in Γ(K_n).     

A Dunford-Pettis theorem for L1H∞⊥

The spaces in the title are associated to a fixed representing measure m for a fixed character on a uniform algebra. It is proved that the set of representing measures for that character which are absolutely continuous with respect to m is weakly relatively compact if and only if each m-negligible closed set in the maximal ideal space of L^∞ is contained in an m-negligible peak set for H^∞. J. Chaumat's characterization of weakly relatively compact subsets in $\text{L}{}^1\text{H}{}^{\mathrm{\infty \perp }}$ therefore remains true, and $\text{L}{}^1\text{H}{}^{\mathrm{\infty \perp }}$ is complete, under the first conditions. In this paper we also give a direct proof. From this we obtain that $\text{L}{}^1\text{H}{}^{\mathrm{\infty \perp }}$ has the Dunford-Pettis property.     

Petites valeurs de la fonction d'Euler

Let φ be the Euler's function. A question of Rosser and Schoenfeld is answered, showing that there exists infinitely many n such that $\text{n}\text{φ(n)}\text{> e}{}^{\mathrm{y}}\text{log log}\text{n}$, where γ is the Euler's constant. More precisely, if N_k is the product of the first k primes, it is proved that, under the Riemann's hypothesis, $\text{N}{}_{\mathrm{k}}\text{φ(N}{}_{\mathrm{k}}\text{)}\text{> e}{}^{\mathrm{y}}\text{log log}\text{N}{}_{\mathrm{k}}$ holds for any k ≥ 2, and, if the Riemann's hypothesis is false this inequality holds for infinitely many k, and is false for infinitely many k.     

Qualitative behavior of special functions on compact symmetric spaces

For a symmetric space $\text{G}\text{K}$ of compact type, the highest-weight vectors for representations of G occurring in $\text{L}{}^2\text{(G}\text{K)}$ become heavily concentrated near certain submanifolds of $\text{G}\text{K}$ as the highest weight goes to infinity. This fact is applied to obtain estimates for the spectral measures of the operators qλ = P_λqP_λ, where $\text{P}{}_{\mathrm{\lambda }}\text{: L}{}^2\text{(}\text{G}\text{K}\text{) → V}{}_{\mathrm{\lambda }}$ is an orthogonal projection onto a G-irreducible summand, and q: G/K → $\text{R}$ is a continuous function acting on $\text{L}{}^2\text{(G}\text{K)}$ by multiplication.     

The asymptotic equivalence of Bayes and maximum likelihood estimation

Let (X, $\text{A}$) be a measurable space, Θ ? $\text{R}$ an open interval and P_Ω ∥ $\text{A}$, Ω ? Θ, a family of probability measures fulfilling certain regularity conditions. Let $\text{Ω}{}_{\mathrm{n}}$ be the maximum likelihood estimate for the sample size n. Let λ be a prior distribution on Θ and let $\text{R}{}_{\mathrm{<mtext>n,</mtext><mtext>x</mtext>}}$ be the posterior distribution for the sample size n given $\text{x}\text{? X}{}^{\mathrm{n}}$. $\text{L:}\text{Θ}\text{× Θ →}\text{R}$ denotes a loss function fulfilling certain regularity conditions and T_n denotes the Bayes estimate relative to λ and L for the sample size n. It is proved that for every compact K ? Θ there exists c_K ≥ 0 such that

This theorem improves results of Bickel and Yahav [3], and Ibragimov and Has'minskii [4], as far as the speed of convergence is concerned.     

Green's and Dirichlet spaces associated with fine Markov processes

This is the second paper in a series devoted to Green's and Dirichlet spaces. In the first paper, we have investigated Green's space $\text{K}$ and the Dirichlet space $\text{H}$ associated with a symmetric Markov transition function p_t(x, B). Now we assume that p is a transition function of a fine Markov process X and we prove that: (a) the space $\text{H}$ can be built from functions which are right continuous along almost all paths; (b) the positive cone $\text{K}$⁺ in $\text{K}$ can be identified with a cone M of measures on the state space; (c) the positive cone $\text{H}$⁺ in $\text{H}$ can be interpreted as the cone of Green's potentials of measures μ?M. To every measurable set B in the state space E there correspond a subspace $\text{K}$(B) of $\text{K}$ and a subspace $\text{H}$(B) of $\text{H}$. The orthogonal projections of $\text{K}$ onto $\text{K}$ and of $\text{H}$ onto $\text{H}$(B) can be expressed in terms of the hitting probabilities of B by the Markov process X. As the main tool, we use additive functionals of X corresponding to measures μ?M.     

On the optimal approximation rates for criss-cross finite element spaces

Let Δ denote the triangulation of the plane obtained by multi-integer translates of the four lines x=0, y=0, x=y and x=?y. By $\text{l}{}_{\mathrm{k,\; h}}{}^{\mathrm{\mu }}$ we mean the space of all piecewise polynomials of degree ?k with respect to the scaled triangulation hΔ having continuous partial derivatives of order $\text{?μ}\text{on}\text{R}{}^2$. We show that the approximation properties of $\text{l}{}_{\mathrm{k,\; h}}{}^{\mathrm{\mu }}$ are completely governed by those of the space spanned by the translates of all so called box splines contained in $\text{l}{}_{\mathrm{k,h}}{}^{\mathrm{\mu }}$. Combining this fact with Fourier analysis techniques allows us to determine the optimal controlled approximation rates for the above subspace of box splines where μ is the largest degree of smoothness for which these spaces are dense as h tends to zero. Furthermore, we study the question of local linear dependence of the translates of the box splines for the above criss-cross triangulations.     

Elementary proof of the transformation formula for Lambert series involving generalized Dedekind sums

An elementary proof is given of the author's transformation formula for the Lambert series $\text{G}{}_{\mathrm{p}}\text{(x) =}\text{Σ}{}_{\mathrm{n?1}}{}^{\mathrm{<mtext>\infty </mtext>}}\text{n}{}^{\mathrm{?p}}\text{x}{}^{\mathrm{n}}\text{(1?x}{}^{\mathrm{n}}\text{)}$ relating G_p(e^2πiτ) to G_p(e^2πiAτ), where p > 1 is an odd integer and $\text{Aτ =}\text{(aτ + b)}\text{(cτ + d)}$ is a general modular substitution. The method extends Sczech's argument for treating Dedekind's function $\text{log}\text{η(τ) =}\text{πiτ}\text{12}\text{? G}{}_1\text{(e}{}^{\mathrm{2\pi i\tau }}\text{)}$, and uses Carlitz's formula expressing generalized Dedekind sums in terms of Eulerian functions.     

Differential and stochastic equations in abstract Wiener space

This paper studies the differential equation $\text{(}\text{?}\text{?t}\text{) u(t, x) =}\text{1}\text{2}\text{trace}\text{A(t, x) D}{}^2\text{u(t, x) A}{}^1\text{(t, x) + 〈σ(t, x), Du(t, x)〉 ? V(x) u(t, x), u(0, x) = φ(x)}$ in infinite dimensional space. A Kac's type representation of solution in terms of function space integral is proved. Kac's method is modified to work nicely regardless of the dimensionality.     

A class of Orlicz-Sobolev spaces with applications to variational problems involving nonlinear Hill's equations

Necessary and sufficient conditions are proved for a $\text{b}$⁽²⁾-Young function G (with independent variable t) to be convex (resp. concave) in t² in terms of inequalities between the second derivative of G and the first derivative of its Legendre transform G? (with independent variable s). It is then proven that a Young function G is convex (resp. concave) in t² if and only if G? is concave (resp. convex) in s². These results, along with another set of inequalities for functions G convex (resp. concave) in t², allow the proof of the uniform convexity and thereby of the reflexivity with respect to Luxemburg's norm $\text{∥f∥}{}_{\mathrm{G}}\text{=}\text{inf}\text{{k > 0: ∝}{}_{\mathrm{\Omega }}\text{dξ G(f}\text{(ξ)}\text{k}\text{) ? 1}}$ of the Orlicz space $\text{L}{}_{\mathrm{G}}\text{(Ω)}$ over an open domain Ω ?$\text{R}$_N with Lebesgue measure dξ. When applied to $\text{G(t) =}\text{¦t¦}{}^{\mathrm{p}}\text{p}$ and $\text{G}\text{?}\text{(s) =}\text{¦s¦}{}^{\mathrm{p\prime }}\text{p′}$ with p^?1 + (p′)^?1 = 1, the preceding results lead to the shortest proof to date of two Clarkson's inequalities and of the reflexivity of L^p-spaces for 1 < p < +∞. Finally, some of these results are used to solve by direct methods variational problems associated with the existence question of periodic orbits for a class of nonlinear Hill's equations; these variational problems are formulated on suitable Orlicz-Sobolev spaces $\text{W}{}^{\mathrm{m}}\text{L}{}_{\mathrm{G}}\text{(Ω)}$ and thereby allow for nonlinear terms which may grow faster than any power of the variable.     

Inequalities induced by network connections II. Hybrid connections

It has been found that interesting mathematical relationships arise from a vectorial generalization of Kirchhoff's and Ohm's laws, in which the “resistors” become Hermitian positive semidefinite (PSD) linear operators. In analogy to the parallel connection of resistors Anderson and Duffin studied the parallel sum R : S of two PSD operators on a finite dimensional space, defined by $\text{R : S = R(R + S)}{}^2\text{S}$. Duffin and Trapp then studied the hybrid connection. This paper generalizes some of their results to a much broader class of electrical connections.     

On Fourier transform of generalized Brownian functionals

Let $\text{(L}{}^2\text{)}{}_{\mathrm{<mtext>B</mtext><mtext>?</mtext>}}{}^{\mathrm{?}}$ and $\text{(L}{}^2\text{)}{}_{\mathrm{<mtext>b</mtext><mtext>?</mtext>}}{}^{\mathrm{?}}$ be the spaces of generalized Brownian functionals of the white noises ? and ?, respectively. A Fourier transform from $\text{(L}{}^2\text{)}{}_{\mathrm{<mtext>B</mtext><mtext>?</mtext>}}{}^{\mathrm{?}}$ into $\text{(L}{}^2\text{)}{}_{\mathrm{<mtext>b</mtext><mtext>?</mtext>}}{}^{\mathrm{?}}$ is defined by ??(?) = ∫$\text{S}$¹: exp[?i ∫_$\text{R}$?(t) ?(t) dt]: ${}_{\mathrm{<mtext>b</mtext><mtext>?</mtext>}}\text{?(}\text{B}\text{?}\text{) dμ(}\text{B}\text{?}$), where : :${}_{\mathrm{<mtext>b</mtext><mtext>?</mtext>}}$ denotes the renormalization with respect to ? and μ is the standard Gaussian measure on the space $\text{S}$¹ of tempered distributions. It is proved that the Fourier transform carries ?(t)-differentiation into multiplication by i?(t). The integral representation and the action of?? as a generalized Brownian functional are obtained. Some examples of Fourier transform are given.     

Waring's problem for the ring of polynomials

We investigate the question of which polynomials are not representable as the sum of “few” powers of polynomials. In particular for Waring's problem over the ring of polynomials we show that there exist polynomials which are not the sum of fewer than $\text{n}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$nth powers of polynomials.     

Sur les proportions respectives de triangles uni,bi ou tricolores dans un tricoloriage des arêtes du n-emble

On determine le nombre maximum de triangles bicolores quand n tend vers l'infini, soit $\text{24}\text{25}\text{(}{}^{\mathrm{n}}{}_3\text{)+O(n}{}^2\text{)}$. On prouve aussi que, pour n assez grand, plus d'un triangle sur vingt-neuf est unicolore le methode suivie est susceptible de constituer une approche du probléme posé par une conjecture d'Erdos. Sos et Turan sur le nombre maximum de triangles tricolores.     

Eigenvalue inequalities for products of matrix exponentials

Motivated by models from stochastic population biology and statistical mechanics, we proved new inequalities of the form $\text{(1) ?(e}{}^{\mathrm{A}}\text{e}{}^{\mathrm{B}}\text{)??(e}{}^{\mathrm{A+B}}\text{)}$, where A and B are n × n complex matrices, 1<n<∞, and ? is a real-valued continuous function of the eigenvalues of its matrix argument. For example, if A is essentially nonnegative, B is diagonal real, and ? is the spectral radius, then (1) holds; if in addition A is irreducible and B has at least two different diagonal elements, then the inequality (1) is strict. The proof uses Kingman's theorem on the log-convexity of the spectral radius, Lie's product formula, and perturbation theory. We conclude with conjectures.