The study seeks to address the importance of urban stream ecosystems from the perspective of urban ecology, human health and social well-being in the context of urban planning. The case study area is Paveh stream in the City of Paveh. The data from the case study area were gathered from questionnaire, existing scientific and library studies and by conducting interviews with residents and auth...

in this paper, we first introduce the notion of $c$-affine functions for $c> 0$.then we deal with some properties of strongly convex functions in real inner product spaces by using a quadratic support function at each point which is $c$-affine. moreover, a hyers–-ulam stability result for strongly convex functions is shown.

Cauchy’s theorem is used to generate a Complex Variable Boundary Element Method (CVBEM) formulation for steady, two-dimensional potential problems. CVBEM uses the complex potential, w"/#it, to combine the potential function, /, with the stream function, t. The CVBEM formulation, using Cauchy’s theorem, is shown to be mathematically equivalent to Real Variable BEM which employs Green’s second id...

we prove the existence of steady 2-dimensional flows, containing a bounded vortex, and approaching a uniform flow at infinity. the data prescribed is the rearrangement class of the vorticity field. the corresponding stream function satisfies a semilinear elliptic partial differential equation. the result is proved by maximizing the kinetic energy over all flows whose vorticity fields are rearra...

Using a generalized spherical mean operator, we obtain the generalizationof Titchmarsh's theorem for the Dunkl transform for functions satisfyingthe Lipschitz condition in L2(Rd;wk), where wk is a weight function invariantunder the action of an associated reection groups.

Potential flow over rotating cylinder is usually solved by the singularity method. However,in this paper a mathematical solution is presented for this problem by direct solution of the Laplace’sequation. Flow over the cylinder was considered non-viscous. Neumann and Dirichlet boundaryconditions were used on the solid surfaces and in the infinity, respectively. Because of non-viscous flow,the La...

We present a coinductive proof of Moessner’s theorem. This theorem describes the construction of the stream (1,2,3, . . .) (for n≥ 1) out of the stream of positive natural numbers by repeatedly dropping and summing elements. Our formalisation consists of a direct translation of the operational description of Moessner’s procedure into the equivalence of—in essence—two functional programs. Our pr...

We present a coinductive proof of Moessner’s theorem. This theorem describes the construction of the stream (1n, 2n, 3n, . . .) (for n ≥ 1) out of the stream of natural numbers by repeatedly dropping and summing elements. Our formalisation consists of a direct translation of the operational description of Moessner’s procedure into the equivalence of in essence two functional programs. Our proof...