We study a porous medium equation with right hand side. The operator has nonlocal diffusion effects given by an inverse fractional Laplacian operator. The derivative in time is also fractional of Caputo-type and which takes into account “memory”. The precise model is D t u− div(u(−∆)−σu) = f, 0 < σ < 1/2. We pose the problem over {t ∈ R+, x ∈ Rn} with nonnegative initial data u(0, x) ≥ 0 as wel...

We consider the following problem, arising within a geological model of sedimentationerosion: For a given vector field g and a given nonnegative function F defined on a oneor twodimensional domain Ω, find a vector field under the form g̃ = ug, with 0 ≤ u(x) ≤ 1 for a.e. x ∈ Ω, such that divg̃ + F ≥ 0 and (u − 1)(divg̃ + F ) = 0 in Ω. We first give a weak formulation of this problem, and we prove a...

Given a Gibbs point process P on R having a weak enough potential Ψ, we consider the random measures μλ := P x∈P∩Qλ ξ(x,P ∩Qλ)δx/λ1/d , where Qλ := [−λ /2, λ/2] is the volume λ cube and where ξ(·, ·) is a translation invariant stabilizing functional. Subject to Ψ satisfying a localization property and translation invariance, we establish weak laws of large numbers for λ−1μλ(f), f a bounded test...

Abstract: The main aim of this paper is to prove that the maximal operator of a subsequence of the (one-dimensional) logarithmic means of Vilenkin-Fourier series is of weak type (1,1). Moreover, we prove that the maximal operator of the logarithmic means of quadratical partial sums of double Vilenkin-Fourier series is of weak type (1,1), provided that the supremum in the maximal operator is tak...

Abstraction is a powerful tool for developers and it is o ered by numerous features such as polymorphism classes modules and functors A working programmer may be confused with this abundance We develop a computer algebra library which is being certi ed Reporting this experience made with a language Ocaml o ering all these features we argue that they are all needed together We compare several wa...

We give an explicit description of the homology group Hn(p) of a strong type p in any stable theory under the assumption that for every non-forking extension q of p the groups Hi(q) are trivial for 2 ≤ i < n. The group Hn(p) turns out to be isomorphic to the automorphism group of a certain piece of the algebraic closure of n independent realizations of p; it was shown earlier by the authors tha...

In this note, we point out that the proximity condition proposed in [8] can be weakened. We reprove the “Proximity ⇒ Smoothness” theorem under the so-called weak proximity condition. This improvement is embarrassingly trivial; and appears to be just an artifact of the authors overlooking a detail during the writing of [8]. But this raises a question: the unnecessarily strong proximity condition...

exists. The function f is continuously differentiable when it is differentiable and f ′ is continuous. A k-times continuously differentiable function is C, and a continuous function is C. A V -valued function f is weakly C when for every λ ∈ V ∗ the scalar-valued function λ◦ f is C. This sense of weak differentiability of a function f does not refer to distributional derivatives, but to differe...

‎In this paper‎, ‎first we study the weak and strong convergence of solutions to the‎ ‎following first order nonhomogeneous gradient system‎ ‎$$begin{cases}-x'(t)=nablaphi(x(t))+f(t), text{a.e. on} (0,infty)\‎‎x(0)=x_0in Hend{cases}$$ to a critical point of $phi$‎, ‎where‎ ‎$phi$ is a $C^1$ quasi-convex function on a real Hilbert space‎ ‎$H$ with ${rm Argmin}phineqvarnothing$ and $fin L^1(0...

This paper concerns a class of Banach valued processes which have finite quadratic variation. The notion introduced here generalizes the classical one, of Métivier and Pellaumail which is quite restrictive. We make use of the notion of χ-covariation which is a generalized notion of covariation for processes with values in two Banach spaces B1 and B2. χ refers to a suitable subspace of the dual ...