The uniform dimension of Generalized Brownian Sheet

For theN-parameterd-dimensional Generalized Brownian Sheet (in short G.B.S.) satisfying some conditions, this paper proves that when 2N≤αd, with probability one, ?E ε ß(R ₊ ^N ), there holds $$\frac{2}{\beta }\dim E + 2N - 2N\beta /\alpha \leqslant \dim \bar W(E) \leqslant \frac{2}{\alpha }\dim E$$ . Especially when α=β=1, we have dim $\bar W$ (E)=2 dimE. Noting that even ifα=β=1, the G.B.S. is wider than the Brownian Sheet, thus we have extended the uniform dimension result of Mountford, T,S.^[1].     

Estimates and regularization for solutions of some ill-posed problems of elliptic and parabolic type

In this paper, we examine, in a systematic fashion, some ill-posed problems arising in the theory of heat conduction. In abstract terms, letH be a Hilbert space andA: D (A)?H→H be an unbounded normal operator, we consider the boundary value problemü(t)=Au(t), 0<t<∞,u(0)=u ₀∈D(A), \(\mathop {\lim }\limits_{t \to 0} \left\| {u\left( t \right)} \right\| = 0\) . The problem of recoveringu ₀ whenu(T) is known for someT>0 is not well-posed. Suppose we are given approximationsx ₁,x ₂,…,x _N tou(T ₁),…,u(T _N) with 0<T, <…<T _N and positive weightsP _i,i=1,…,n, \(\sum\limits_{i = 1}^N {P_i = 1} \) such that \(Q_2 \left( {u_0 } \right) = \sum\limits_{i = 1}^N {P_i } \left\| {u\left( {T_i } \right) - x_i } \right\|^2 \leqslant \varepsilon ^2 \) . If ‖u _t(0)‖≤E for some a priori constantE, we construct a regularized solution ν(t) such that \(Q\left( {\nu \left( 0 \right)} \right) \leqslant \varepsilon ^2 \) while \(\left\| {u\left( 0 \right) - \nu \left( 0 \right)} \right\| = 0\left( {ln \left( {E/\varepsilon } \right)} \right)^{ - 1} \) and \(\left\| {u\left( t \right) - \nu \left( t \right)} \right\| = 0\left( {\varepsilon ^{\beta \left( t \right)} } \right)\) where 0<β(t)<1 and the constant in the order symbol depends uponE. The function β(t) is larger thant/m whent _k andk is the largest integer such that \((\sum\limits_{k = 1}^N {P_i (T_i )} )< (\sum\limits_{k = 1}^N {P_i (T_i )} = m\) , which β(t)=t/m on [T _k, m] and β(t)=1 on [m, ∞). Similar results are obtained if the measurement is made in the maximum norm, i.e.,Q _∞(u ₀)=max{‖u(T _i)?x _i‖, 1≤i≤N}.     

Self-interacting diffusions: a simulated annealing version

We study asymptotic properties of processes X, living in a Riemannian compact manifold M, solution of the stochastic differential equation (SDE) $$dX_t = dW_t(X_t) - \beta(t)\nabla V\mu_t(X_t)dt$$ with W a Brownian vector field, β(t) = alog(t + 1), $\mu_t = \frac{1}{t} \int_0^t \delta_{X_s}ds$ and $V\mu_t(x) = \frac{1}{t}\int_0^t V(x, X_s)ds$ , V being a smooth function. We show that the asymptotic behavior of μ _t can be described by a non-autonomous differential equation. This class of processes extends simulated annealing processes for which V(x, y) is only a function of x. In particular we study the case $M = {\mathbb{S}}^n$ , the n-dimensional sphere, and V(x, y) = ?cos(d(x, y)), where d(x, y) is the distance on ${\mathbb{S}}^n$ , which corresponds to a process attracted by its past trajectory. In this case, it is proved that μ _t converges almost surely towards a Dirac measure.     

Sharp nonremovability examples for Hölder continuous quasiregular mappings in the plane

Let α ∈ 2 (0, 1), K ≥ 1, and \(d = 2\frac{{1 + \alpha K}}{{1 + K}}\). Given a compact set E ? ?, it is known that if \(\mathcal{H}^d (E) = 0\), then E is removable for α-Hölder continuous K-quasiregular mappings in the plane. The sharpness of the index d is shown with the construction, for any t > d, of a set E of Hausdorff dimension dim(E) = t which is not removable. In this paper, we improve this result and construct compact nonremovable sets E such that \(0 < \mathcal{H}^d (E) < \infty \). For the proof, we give a precise planar K-quasiconformal mapping whose Hölder exponent is strictly bigger than \(\frac{1}{K}\) and which exhibits extremal distortion properties.     

Hitting probabilities for systems of non-linear stochastic heat equations with multiplicative noise

We consider a system of d non-linear stochastic heat equations in spatial dimension 1 driven by d-dimensional space-time white noise. The non-linearities appear both as additive drift terms and as multipliers of the noise. Using techniques of Malliavin calculus, we establish upper and lower bounds on the one-point density of the solution u(t, x), and upper bounds of Gaussian-type on the two-point density of (u(s, y),u(t, x)). In particular, this estimate quantifies how this density degenerates as (s, y) → (t, x). From these results, we deduce upper and lower bounds on hitting probabilities of the process ${\{u(t,x)\}_{t \in \mathbb{R}_+, x\in [0,1]}}$ , in terms of respectively Hausdorff measure and Newtonian capacity. These estimates make it possible to show that points are polar when d ≥ 7 and are not polar when d ≤ 5. We also show that the Hausdorff dimension of the range of the process is 6 when d > 6, and give analogous results for the processes ${t \mapsto u(t,x)}$ and ${x \mapsto u(t,x)}$ . Finally, we obtain the values of the Hausdorff dimensions of the level sets of these processes.     

Hausdorff dimension of Lebesgue sets for W α p classes on metric spaces

Let (X, μ, d) be a space of homogeneous type, where d and p are a metric and a measure, respectively, related to each other by the doubling condition with γ > 0. Let W _α ^p (X) be generalized Sobolev classes, let Cap_{α p} (where p > 1 and 0 < α ≤ 1) be the corresponding capacity, and let dim_H be the Hausdorff dimension. We show that the capacity Cap_{α p} is related to the Hausdorff dimension; we also prove that, for each function u ∈ W _α/p (X), p > 1, 0 < a < γ/p, there exists a set E ? X such that dim _H (E) ≤ γ - αp, the limit $$\mathop {\lim }\limits_{r \to + 0} \frac{1}{{\mu (B(x,r))}}\int_{B(x,r)} {u d\mu = u * (x)} $$ exists for each x ∈ X\E, and moreover $$\mathop {\lim }\limits_{r \to + 0} \frac{1}{{\mu (B(x,r))}}\int_{B(x,r)} {\left| {u - u * (x)} \right|^q d\mu = 0, \frac{1}{q} = \frac{1}{p} - \frac{\alpha }{\gamma }.} $$ .     

Some results on non-linear recurrence

We study the behavior of measure-preserving systems with continuous time along sequences of the form {n ^α}n∈#x2115;} where α is a positive real number¹. Let {S ^t } _t∈? be an ergodic continuous measure preserving flow on a probability Lebesgue space (X, β, μ). Among other results we show that:

1. For all but countably many α (in particular, for all α∈???) one can find anL ^∞-functionf for which the averagesA _N (f)(1/N)=Σ _n=1 ^N f(S ^nα x) fail to converge almost everywhere (the convergence in norm holds for any α!).
2. For any non-integer and pairwise distinct numbers α₁, α₂,..., α _k ∈(0, 1) and anyL ^∞-functionsf ₁,f ₂, ...,f _k , one has $$\mathop {lim}\limits_{N \to \infty } \left\| {\frac{1}{N}\sum\limits_{n - 1}^N {\prod\limits_{i - 1}^k {f_i (S^{n^{\alpha _i } } x) - \prod\limits_{i - 1}^k {\int_X {f_i d\mu } } } } } \right\|_{L^2 } = 0$$

We also show that Furstenberg’s correspondence principle fails for ?-actions by demonstrating that for all but a countably many α>0 there exists a setE?? having densityd(E)=1/2 such that, for alln∈?, $$d(E \cap (E - n^\alpha )) = 0$$ .     

Zaks’ Lemma for Coherent Rings

Let A be a left and right coherent ring and C _A (resp., $C_{A^{\mathrm{op}}}$ ) a minimal cogenerator for right (resp., left) A-modules. We show that $\mathrm{flat \ dim \ }C_{A} = \mathrm{flat \ dim \ }C_{A^{\mathrm{op}}}$ whenever flat dim C _A ?<?∞ and $\mathrm{flat \ dim \ }C_{A^{\mathrm{op}}} < \infty$ , and that $\mathrm{flat \ dim \ }C_{A} = \mathrm{flat \ dim \ }C_{A^{\mathrm{op}}} < \infty$ if and only if the finitely presented right A-modules have bounded Gorenstein dimension.     

Hausdorff measure of the level sets of multi-parameter wiener processes in one dimension

LetZ _N (t) be anN-parameter Wiener process in one dimension, and $$E(x,T) = \left\{ {t = (t_1 , \cdot \cdot \cdot ,t_N ):Z_N (t) = x,0 \leqslant t_1 , \cdot \cdot \cdot ,t_N \leqslant T} \right\}$$ . Then we obtain that with probability one, the Hausdorff measure function ofE(x,T) is $$\psi _N (r) = r^{N - \tfrac{1}{2}} (\log \log r^{ - 1} )^{\tfrac{1}{2}} ,\forall r \in (0,\frac{1}{4})$$ for anyx∈R ¹ andT>0.     

Strengthening of strong and approximate convexity?

Let X be a real linear space and $D\subseteq X$ be a nonempty convex subset. Given an error function E:[0,1]×(D?D)?????{+??} and an element $t\in\left]0,1\right[$ , a function f:D??? is called (E,t)-convex if $$f(tx+(1-t)y)\le tf(x)+(1-t)f(y)+E(t,x-y)$$ for all x,y??D. The main result of this paper states that, for all a,b??(???{0})+{0,t,1?t} such that {a,b,a+b}??????, every (E,t)-convex function is also $\big(F,\frac{a}{a+b}\big)$ -convex, where $$F(s,u):=\frac{{(a+b)}^2s(1-s)}{t(1-t)}E\left(t,\frac{u}{a+b}\right),\qquad (u\in (D-D), \, s\in\left]0,1\right[).$$ As a consequence, under further assumptions on E, the strong and approximate convexity properties of (E,t)-convex functions can be strengthened.     

A characterization of the Wishart exponential families by an invariance property

E is the space of real symmetric (d, d) matrices, andS and \(\bar S\) are the subsets ofE of positive definite and semipositive-definite matrices. Let there be ap in $$\Lambda = \left\{ {\frac{1}{2},1,\frac{3}{2}, \ldots \frac{{d - 1}}{2}} \right\} \cup \left] {\frac{{d - 1}}{2}, + \infty } \right[$$ The Wishart natural exponential family with parameterp is a set of probability distributions on \(\bar S\) defined by $$F_p = \{ \exp [ - \tfrac{1}{2}Tr(\Gamma x)](det\Gamma )^p \mu _p (dx);\Gamma \in S\} $$ where μ_p is a suitable measure on \(\bar S\) . LetGL(?^d) be the subset ofE of invertible matrices. Fora inGL(?^d), define the automorphismg _a ofE byg _a(x)=^t axa, where ^t a is the transpose ofa. The aim of this paper is to show that a natural exponential familyF onE is invariant byg _a for alla inGL(?^d) if and only if there existsp in Λ such that eitherF=F _p, orF is the image ofF _p byx??x. (Theorem).     

On Time-Dependent Functionals of Diffusions Corresponding to Divergence Form Operators

We consider processes of the form [s,T]?t?u(t,X _t ), where (X,P _s,x ) is a multidimensional diffusion corresponding to a uniformly elliptic divergence form operator. We show that if $u\in{\mathbb{L}}_{2}(0,T;H_{\rho }^{1})$ with $\frac{\partial u}{\partial t} \in{\mathbb{L}}_{2}(0,T;H_{\rho }^{-1})$ then there is a quasi-continuous version $\tilde{u}$ of u such that $\tilde{u}(t,X_{t})$ is a P _s,x -Dirichlet process for quasi-every (s,x)∈[0,T)×? ^d with respect to parabolic capacity, and we describe the martingale and the zero-quadratic variation parts of its decomposition. We also give conditions on u ensuring that $\tilde{u}(t,X_{t})$ is a semimartingale.     

On the discrepancy function in arbitrary dimension, close to L 1

Let A _N to be N points in the unit cube in dimension d, and consider the discrepancy function $$ D_N (\vec x): = \sharp \left( {\mathcal{A}_N \cap \left[ {\vec 0,\vec x} \right)} \right) - N\left| {\left[ {\vec 0,\vec x} \right)} \right| $$ Here, $$ \vec x = \left( {\vec x,...,x_d } \right),\left[ {0,\vec x} \right) = \prod\limits_{t = 1}^d {\left[ {0,x_t } \right),} $$ and $ \left| {\left[ {0,\vec x} \right)} \right| $ denotes the Lebesgue measure of the rectangle. We show that necessarily $$ \left\| {D_N } \right\|_{L^1 (log L)^{(d - 2)/2} } \gtrsim \left( {log N} \right)^{\left( {d - 1} \right)/2} . $$ In dimension d = 2, the ‘log L’ term has power zero, which corresponds to a Theorem due to [11]. The power on log L in dimension d ≥ 3 appears to be new, and supports a well-known conjecture on the L ¹ norm of D _N . Comments on the discrepancy function in Hardy space also support the conjecture.     

Local properties of functions and approximation by trigonometric polynomials

Suppose Φ_{p, E} (p>0 an integer, E ?[0, 2π]) is a family of positive nondecreasing functions? _x(t) (t>0, x∈ E) such that? _x(nt)≤n^P ? _x(t) (n=0,1,...), t_n is a trigonometric polynomial of order at most n, and Δ _h ^l (f, x) (l>0 an integer) is the finite difference of orderl with step h of the functionf.THEOREM. Supposef (x) is a function which is measurable, finite almost everywhere on [0, 2π], and integrable in some neighborhood of each point xε E,? _X εΦ_p,E and $$\overline {\mathop {\lim }\limits_{\delta \to \infty } } |(2\delta )^{ - 1} \smallint _{ - \delta }^\delta \Delta _u^l (f,x)du|\varphi _x^{ - 1} (\delta ) \leqslant C(x)< \infty (x \in E).$$ . Then there exists a sequence {t _n } _n=1 ^∞ which converges tof (x) almost everywhere, such that for x ε E $$\overline {\mathop {\lim }\limits_{n \to \infty } } |f(x) - l_n (x)|\varphi _x^{ - 1} (l/n) \leqslant AC(x),$$ where A depends on p andl.     

The Continuity of M and N in Greedy Lattice Animals

Let {X _v: v ∈ Z ^d}, d≥2, be i.i.d. positive random variables with the common distribution F which satisfy, for some a>0, ∫ x ^d (log⁺ x) ^d+a dF(x)<∞ Define $$M_n = \max \left\{ {\sum\limits_{\upsilon \in \pi } {X_\upsilon } {\kern 1pt} :\pi {\text{ a selfavoiding path of length }}n{\text{ starting at the origin}}} \right\}$$ $$N_n = \max \left\{ {\sum\limits_{\upsilon \in \xi } {X_\upsilon } {\kern 1pt} :\xi {\text{ a lattice animal of size }}n{\text{ containing the origin}}} \right\}$$ Then it has been shown that there exist positive finite constants M = M[F] and N = N[F] such that $${\mathop {\lim }\limits_{n \to \infty }} \frac{{M_n }}{n} = M{\text{ and }}{\mathop {\lim }\limits_{n \to \infty }} \frac{{N_n }}{n} = N{\text{ a}}{\text{.s}}{\text{. and in }}L^1 $$      

Instability of Standing Wave for the Klein–Gordon–Hartree Equation

The instability property of the standing wave uω(t, x) = eiωtφ(x) for the Klein–Gordon– Hartree equation     

On the asymptotic behavior of the solutions of semilinear nonautonomous equations

We consider nonautonomous semilinear evolution equations of the form $$\frac{dx}{dt}= A(t)x+f(t,x) . $$ Here A(t) is a (possibly unbounded) linear operator acting on a real or complex Banach space $\mathbb{X}$ and $f: \mathbb{R}\times\mathbb {X}\to\mathbb{X}$ is a (possibly nonlinear) continuous function. We assume that the linear equation (1) is well-posed (i.e. there exists a continuous linear evolution family {U(t,s)}_(t,s)∈Δ such that for every s∈?₊ and x∈D(A(s)), the function x(t)=U(t,s)x is the uniquely determined solution of Eq. (1) satisfying x(s)=x). Then we can consider the mild solution of the semilinear equation (2) (defined on some interval [s,s+δ),δ>0) as being the solution of the integral equation $$x(t) = U(t, s)x + \int_s^t U(t, \tau)f\bigl(\tau, x(\tau)\bigr) d\tau,\quad t\geq s . $$ Furthermore, if we assume also that the nonlinear function f(t,x) is jointly continuous with respect to t and x and Lipschitz continuous with respect to x (uniformly in t∈?₊, and f(t,0)=0 for all t∈?₊) we can generate a (nonlinear) evolution family {X(t,s)}_(t,s)∈Δ , in the sense that the map $t\mapsto X(t,s)x:[s,\infty)\to\mathbb{X}$ is the unique solution of Eq. (4), for every $x\in\mathbb{X}$ and s∈?₊. Considering the Green’s operator $(\mathbb{G}{f})(t)=\int_{0}^{t} X(t,s)f(s)ds$ we prove that if the following conditions hold

• the map $\mathbb{G}{f}$ lies in $L^{q}(\mathbb{R}_{+},\mathbb{X})$ for all $f\in L^{p}(\mathbb{R}_{+},\mathbb{X})$ , and
• $\mathbb{G}:L^{p}(\mathbb{R}_{+},\mathbb{X})\to L^{q}(\mathbb {R}_{+},\mathbb{X})$ is Lipschitz continuous, i.e. there exists K>0 such that $$\|\mathbb{G} {f}-\mathbb{G} {g}\|_{q} \leq K\|f-g\|_{p} , \quad\mbox{for all}\ f,g\in L^p(\mathbb{R}_+,\mathbb{X}) , $$

then the above mild solution will have an exponential decay.     

Existence of semiclassical states for a quasilinear Schrödinger equation with critical exponent in {\mathbb{R}^N}

We consider the following perturbed version of quasilinear Schrödinger equation $$\begin{array}{lll}-\varepsilon^2\Delta u +V(x)u-\varepsilon^2\Delta (u^2)u=h(x,u)u+K(x)|u|^{22^*-2}u\end{array}$$ in ${\mathbb{R}^N}$ , where N ≥ 3, 22* = 4N/(N ? 2), V(x) is a nonnegative potential, and K(x) is a bounded positive function. Using minimax methods, we show that this equation has at least one positive solution provided that ${\varepsilon \leq \mathcal{E}}$ ; for any ${m\in\mathbb{N}}$ , it has m pairs of solutions if ${\varepsilon \leq \mathcal{E}_m}$ , where ${\mathcal{E}}$ and ${\mathcal{E}_m}$ are sufficiently small positive numbers. Moreover, these solutions ${u_\varepsilon \to 0}$ in ${H^1(\mathbb{R}^N)}$ as ${\varepsilon \to 0}$ .     

Degenerate differential operators in weighted Hölder spaces

A differential operator ?, arising from the differential expression $$lv(t) \equiv ( - 1)^r v^{[n]} (t) + \sum\nolimits_{k = 0}^{n - 1} {p_k } (t)v^{[k]} (t) + Av(t),0 \leqslant t \leqslant 1,$$ , and system of boundary value conditions $$P_v [v] = \sum\nolimits_{k = 0}^{n_v } {\alpha _{vk} } r^{[k]} (1) = 0.v - 1, \ldots ,\mu ,0 \leqslant \mu< n$$ is considered in a Banach space E. Herev ^[k](t)=(a(t) d/dt) ^k v(t)a(t) being continuous fort?0, α(t) >0 for t > 0 and \(\int_0^1 {\frac{{dz}}{{a(z)}} = + \infty ;}\) the operator A is strongly positive in E. The estimates , are obtained for ?: n even, λ varying over a half plane.