• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제30권1호
• /
• pp.43-65
• /
• 2023

In this paper, by using the difference analogue of Nevanlinna's theory, the authors study the shared-value problem concerning two higher order difference operators of a transcendental entire function with finite order. The following conclusion is proved: Let f(z) be a finite order transcendental entire function such that λ(f - a(z)) < ρ(f), where a(z)(∈ S(f)) is an entire function and satisfies ρ(a(z)) < 1, and let 𝜂(∈ ℂ) be a constant such that ∆_𝜂ⁿ⁺¹ f(z) ≢ 0. If ∆_𝜂ⁿ⁺¹ f(z) and ∆_𝜂ⁿ f(z) share ∆_𝜂ⁿ a(z) CM, where ∆_𝜂ⁿ a(z) ∈ S ∆_𝜂ⁿ⁺¹ f(z), then f(z) has a specific expression f(z) = a(z) + Be^Az, where A and B are two non-zero constants and a(z) reduces to a constant.

• Journal of applied mathematics & informatics
• /
• 제42권1호
• /
• pp.49-64
• /
• 2024

When setting up a structure with an embedded shallow arch, there is a phenomenon where the end of the arch moves. To study the so-called moving domain problem, one try to transform a considered noncylindrical domain into the cylindrical domain using the transform operator, as well as utilizing the method of penalty and other approaches. However, challenges arise when calculating time derivatives of solutions in a domain depending on time, or when extending the initial conditions from the non-cylindrical domain to the cylindrical domain. In this paper, we employ the transform operator to prove the existence and uniqueness of weak solutions of the shallow arch equation on the moving domain as clarifying the time derivatives of solutions in the moving domain.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.25-29
• /
• 2003

LQ actuator selection problem for multi-input system discussed in this paper is to determine optimal actuator out of many actuators and input sequences so as to minimize the quadratic control performance. The solution of this problem depends on initial values and has a combinatorial property, so it is extremely difficult to get an optimal solution. For this difficulty, we proposed the concept of comparability of actuators and showed the uniqueness of the solution[1] . Further, to get general optimal solution for LQ problem with actuator selection strategies, we derived the equivalent condition for the comparability of actuator in single-input system . In this paper we extend this result to the case of multi-input system. The derived sufficient condition is applicable in the case of positive semi-definite comparability matrices.

• 대한수학회보
• /
• 제50권2호
• /
• pp.499-506
• /
• 2013

The half-inverse spectral problem for an impulsive Sturm-Liouville operator consists in reconstruction of this operator from its spectrum and half of the potential. In this study, the spectrum of the impulsive Sturm-Liouville problem is given and by using the Hochstadt and Lieberman's method we show that if $q(x)$ is prescribed on (0, ${\frac{\pi}{2}}$), then only one spectrum is sufficient to determine $q(x)$ on the interval (0, ${\pi}$) for this problem.

• 대한수학회보
• /
• 제52권5호
• /
• pp.1495-1515
• /
• 2015

This paper deals with the numerical methods for the reconstruction of the source term in a linear parabolic equation from final overdetermination. We assume that the source term has the form f(x)h(t) and h(t) is given, which guarantees the uniqueness of the inverse problem of determining the source term f(x) from final overdetermination. We present the regularization methods for reconstruction of the source term in the whole real line and with Neumann boundary conditions. Moreover, we show the connection of the solutions between the problem with Neumann boundary conditions and the problem with no boundary conditions (on the whole real line) by using the extension method. Numerical experiments are done for the inverse problem with the boundary conditions.

• Nonlinear Functional Analysis and Applications
• /
• 제28권4호
• /
• pp.989-1004
• /
• 2023

In this paper, we are motivated to evaluate and investigate the necessary conditions for the fractional Volterra Fredholm integro-differential equation involving the ς-Hilfer fractional derivative. The given problem is converted into an equivalent fixed point problem by introducing an operator whose fixed points coincide with the solutions to the problem at hand. The existence and uniqueness results for the given problem are derived by applying Krasnoselskii and Banach fixed point theorems respectively. Furthermore, we investigate the convergence of approximated solutions to the same problem using the modified Adomian decomposition method. An example is provided to illustrate our findings.

• 지구물리와물리탐사
• /
• 제16권3호
• /
• pp.119-130
• /
• 2013

자력탐사자료의 3차원 역산법을 개발하였다. 자력탐사자료의 역산에서 가장 문제가 되는 점은 비유일해 문제와 방대한 계산시간이다. 일반적으로 자력탐사자료의 역산은 모델변수의 수가 자료의 수보다 훨씬 많아 비유일해 문제를 더욱 심화시키게 된다. 또한 자력탐사자료는 심도 분해능이 매우 낮다. 비유일해 문제를 극복하기 위하여 분해능이 높은 모델변수에는 큰 제한을 가하고, 작은 모델변수에는 약한 제한을 가하는 분해능 모델제한자를 제안하고, 이를 적용하여 분해능이 낮은 모델변수도 효과적으로 추정할 수 있었다. 또한 대형 행렬식을 웨이블릿 변환을 통하여 희소행렬로 변환하고, 역행렬의 계산에 병렬계산 방식을 적용하여 계산시간을 획기적으로 절감하였다. 수치실험을 통하여 개발된 3차원 역산알고리듬의 타당성을 검토하였다. 또한 금산 지역에서 얻어진 항공자력탐사자료의 역산에 적용하였다.

• 대한수학회보
• /
• 제35권2호
• /
• pp.345-362
• /
• 1998

We introduce and anlyze a naturally parallelizable frequency-domain method for parabolic problems with a Neumann boundary condition. After taking the Fourier transformation of given equations in the space-time domain into the space-frequency domain, we solve an indefinite, complex elliptic problem for each frequency. Fourier inversion will then recover the solution of the original problem in the space-time domain. Existence and uniqueness of a solution of the transformed problem corresponding to each frequency is established. Fourier invertibility of the solution in the frequency-domain is also examined. Error estimates for a finite element approximation to solutions fo transformed problems and full error estimates for solving the given problem using a discrete Fourier inverse transform are given.

• Journal of applied mathematics & informatics
• /
• 제27권3_4호
• /
• pp.475-487
• /
• 2009

This paper studies the iteration method of solving a type of second-order three-point boundary value problem with non-linear term f, which depends on the first order derivative. By using the upper and lower method, we obtain the sufficient conditions of the existence and uniqueness of solutions. Furthermore, the monotone iterative sequences generated by the method contribute to the minimum solution and the maximum solution. And the error estimate formula is also given under the condition of unique solution. We apply the solving process to a special boundary value problem, and the result is interesting.

• Kyungpook Mathematical Journal
• /
• 제46권1호
• /
• pp.145-152
• /
• 2006

In this paper, we study a class of strongly nonlinear implicit complementarity problems in the setting of Hilbert spaces H (not necessarily Hilbert lattices). By using the property of the projection and a suitable change of variables, we establish the equivalence between the strongly nonlinear implicit complementarity problem and the fixed point problem in H. Moreover, we use this equivalence and the fixed point theorem of Boyd and Wong to prove the existence and uniqueness of solutions for the strongly nonlinear implicit complementarity problem in H.