In this paper, we introduce two general iterative algorithms (one implicit algorithm and one explicit algorithm) for finding a common element of the solution set of the variational inequality problems for a continuous monotone mapping, the zero point set of a set-valued maximal monotone operator, and the fixed point set of a continuous pseudocontractive mapping in a Hilbert space. Then we establish strong convergence of the proposed iterative algorithms to a common point of three sets, which is a solution of a certain variational inequality. Further, we find the minimum-norm element in common set of three sets.

In this paper, we present and analyze a fully discrete numerical method for solving the time-fractional diffusion wave equation: ∂^β_tu - div(a∇u) = f, 1 < β < 2. We first construct a difference formula to approximate ∂^β_tu by using an interpolation of derivative type. The truncation error of this formula is of O(△t^2+δ-β)-order if function u(t) ∈ C^2,δ[0, T] where 0 ≤ δ ≤ 1 is the Hölder continuity index. This error order can come up to O(△t^3-β) if u(t) ∈ C³ [0, T]. Then, in combinination with the linear finite volume discretization on spatial domain, we give a fully discrete scheme for the fractional wave equation. We prove that the fully discrete scheme is unconditionally stable and the discrete solution admits the optimal error estimates in the H¹-norm and L₂-norm, respectively. Numerical examples are provided to verify the effectiveness of the proposed numerical method.

In this paper we study the algebraic structure of ℤ_pℤ_p[u]/k>-cyclic codes, where u^k = 0 and p is a prime. A ℤ_pℤ_p[u]/k>-linear code of length (r + s) is an R_k-submodule of ℤ^r_p × R^s_k with respect to a suitable scalar multiplication, where R_k = ℤ_p[u]/k>. Such a code can also be viewed as an R_k-submodule of ℤ_p[x]/r - 1> × R_k[x]/s - 1>. A new Gray map has been defined on ℤ_p[u]/k>. We have considered two cases for studying the algebraic structure of ℤ_pℤ_p[u]/k>-cyclic codes, and determined the generator polynomials and minimal spanning sets of these codes in both the cases. In the first case, we have considered (r, p) = 1 and (s, p) ≠ 1, and in the second case we consider (r, p) = 1 and (s, p) = 1. We have established the MacWilliams identity for complete weight enumerators of ℤ_pℤ_p[u]/k>-linear codes. Examples have been given to construct ℤ_pℤ_p[u]/k>-cyclic codes, through which we get codes over ℤ_p using the Gray map. Some optimal p-ary codes have been obtained in this way. An example has also been given to illustrate the use of MacWilliams identity.

The present paper deals with the study of Fischer-Marsden conjecture on a Kenmotsu manifold. It is proved that if a Kenmotsu metric satisfies 𝔏^*_g(λ) = 0 on a (2n + 1)-dimensional Kenmotsu manifold M²ⁿ⁺¹, then either ξλ = -λ or M²ⁿ⁺¹ is Einstein. If n = 1, M³ is locally isometric to the hyperbolic space H³ (-1).

Let C[0, T] denote a generalized analogue of Wiener space, the space of real-valued continuous functions on the interval [0, T]. Define $Z_{\vec{e},n}$ : C[0, T] → ℝⁿ⁺¹ by $$Z_{\vec{e},n}(x)=\(x(0),\;{\int}_0^T\;e_1(t)dx(t),{\cdots},\;{\int}_0^T\;e_n(t)dx(t)\)$$, where e₁,…, e_n are of bounded variations on [0, T]. In this paper we derive a simple evaluation formula for Radon-Nikodym derivatives similar to the conditional expectations of functions on C[0, T] with the conditioning function $Z_{\vec{e},n}$ which has an initial weight and a kind of drift. As applications of the formula, we evaluate the Radon-Nikodym derivatives of various functions on C[0, T] which are of interested in Feynman integration theory and quantum mechanics. This work generalizes and simplifies the existing results, that is, the simple formulas with the conditioning functions related to the partitions of time interval [0, T].

In this paper we consider the following strongly damped wave equation with variable-exponent nonlinearity u_tt(x, t) - ∆u(x, t) - ∆u_t(x, t) = |u(x, t)|^p(x)-2u(x, t), where the exponent p(·) of nonlinearity is a given measurable function. We establish finite time blow-up results for the solutions with non-positive initial energy and for certain solutions with positive initial energy. We extend the previous results for strongly damped wave equations with constant exponent nonlinearity to the equations with variable-exponent nonlinearity.

Fix ℤ/2 is the prime field of two elements and write 𝒜₂ for the mod 2 Steenrod algebra. Denote by GL_d := GL(d, ℤ/2) the general linear group of rank d over ℤ/2 and by ${\mathfrak{P}}_d$ the polynomial algebra ℤ/2[x₁, x₂, …, x_d] as a connected unstable 𝒜₂-module on d generators of degree one. We study the Peterson "hit problem" of finding the minimal set of 𝒜₂-generators for ${\mathfrak{P}}_d$. Equivalently, we need to determine a basis for the ℤ/2-vector space $$Q{\mathfrak{P}}_d:={\mathbb{Z}}/2{\otimes}_{\mathcal{A}_2}\;{\mathfrak{P}}_d{\sim_=}{\mathfrak{P}}_d/{\mathcal{A}}^+_2{\mathfrak{P}}_d$$ in each degree n ≥ 1. Note that this space is a representation of GL_d over ℤ/2. The problem for d = 5 is not yet completely solved, and unknown in general. In this work, we give an explicit solution to the hit problem of five variables in the generic degree n = r(2^t - 1) + 2^ts with r = d = 5, s = 8 and t an arbitrary non-negative integer. An application of this study to the cases t = 0 and t = 1 shows that the Singer algebraic transfer of rank 5 is an isomorphism in the bidegrees (5, 5 + (13.2⁰ - 5)) and (5, 5 + (13.2¹ - 5)). Moreover, the result when t ≥ 2 was also discussed. Here, the Singer transfer of rank d is a ℤ/2-algebra homomorphism from GL_d-coinvariants of certain subspaces of $Q{\mathfrak{P}}_d$ to the cohomology groups of the Steenrod algebra, $Ext^{d,d+*}_{\mathcal{A}_2}$ (ℤ/2, ℤ/2). It is one of the useful tools for studying these mysterious Ext groups.

Let G = (V, E) be a connected locally finite and weighted graph, ∆_p be the p-th graph Laplacian. Consider the p-th nonlinear equation -∆_pu + h|u|^p-2u = f(x, u) on G, where p > 2, h, f satisfy certain assumptions. Grigor'yan-Lin-Yang [24] proved the existence of the solution to the above nonlinear equation in a bounded domain Ω ⊂ V. In this paper, we show that there exists a strictly positive solution on the infinite set V to the above nonlinear equation by modifying some conditions in [24]. To the m-order differential operator 𝓛_m,p, we also prove the existence of the nontrivial solution to the analogous nonlinear equation.

Design and maintenance of large span roof structures require an analysis of their static and dynamic behavior depending on the physical parameters defining the structures. Therefore, it is highly desirable to estimate the parameters from observations of the system. In this paper we study the parameter estimation problem for damped shallow arches. We discuss both symmetric and non-symmetric shapes and loads, and provide theoretical and numerical studies of the model behavior. Our study of the behavior of such structures shows that it is greatly affected by the existence of critical parameters. A small change in such parameters causes a significant change in the model behavior. The presence of the critical parameters makes it challenging to obtain good estimation. We overcome this difficulty by presenting the Parameter Estimation Algorithm that identifies the unknown parameters sequentially. It is shown numerically that the algorithm achieves a successful parameter estimation for models defined by arbitrary parameters, including the critical ones.

In this paper, we exhibit the equivalence between different notions of unique range sets, namely, unique range sets, weighted unique range sets and weak-weighted unique range sets under certain conditions. Also, we present some uniqueness theorems which show how two meromorphic functions are uniquely determined by their two finite shared sets. Moreover, in the last section, we make some observations that help us to construct other new classes of unique range sets.

For given spaces X and Y, let map(X, Y) and map_*(X, Y) be the unbased and based mapping spaces from X to Y, equipped with compact-open topology respectively. Then let map(X, Y ; f) and map_*(X, Y ; g) be the path component of map(X, Y) containing f and map_*(X, Y) containing g, respectively. In this paper, we compute cohomotopy groups of suspended complex plane π^n+m(ΣⁿℂP²) for m = 6, 7. Using these results, we classify path components of the spaces map(ΣⁿℂP², S^m) up to homotopy equivalence. We also determine the generalized Gottlieb groups G_n(ℂP², S^m). Finally, we compute homotopy groups of mapping spaces map(ΣⁿℂP², S^m; f) for all generators [f] of [ΣⁿℂP², S^m], and Gottlieb groups of mapping components containing constant map map(ΣⁿℂP², S^m; *).

In this corrigendum, we offer a correction to [J. Korean Math. Soc. 54 (2017), No. 2, 461-477]. We construct a counterexample for the strengthened Cauchy-Schwarz inequality used in the original paper. In addition, we provide a new proof for Lemma 5 of the original paper, an estimate for the extremal eigenvalues of the standard unpreconditioned FETI-DP dual operator.