সাধারণ ব্যবকলনীয় সমীকরণ

গণিতে সাধারণ ব্যবকলনীয় সমীকরণ (সাব্যস) বলতে এমন একটি ব্যবকলনীয় সমীকরণকে বোঝানো হয় যেখানে কেবল একটি স্বাধীন চলক, সেই স্বাধীন চলকের এক বা ততোধিক ফাংশন এবং ঐ ফাংশনটির বা ফাংশনসমূহের অন্তরজসমূহ থাকে। আংশিক ব্যবকলনীয় সমীকরণ যা "একের অধিক" স্বাধীন চলকের সাপেক্ষে গঠিত হয় বা হতে পারে তার পরিপ্রেক্ষিতেই "সাধারণ ব্যবকলনীয় সমীকরণ" শব্দ-সমষ্টিটিতে "সাধারণ" শব্দটি ব্যবহার করা হয়।
রৈখিক ব্যবকলনীয় সমীকরণ হচ্ছে এমন একটি ব্যবকলনীয় সমীকরণ যা কোনো অজানা ফাংশন এবং এর অন্তরজগুলোতে একটি রৈখিক বহুপদী দ্বারা সংজ্ঞায়িত হয়, যেখানে এই রৈখিক ব্যবকলনীয় সমীকরণটি নিম্নোক্ত আকারের একটি সমীকরণ
এখানে formula_2 এবং formula_3 হলো ইচ্ছামাফিক নির্ধারিত ব্যবকলনযোগ্য ফাংশন যাদের রৈখিক হওয়া আবশ্যকীয় নয় এবং formula_4 হলো চলকযুক্ত অজানা ফাংশন -এর ধারাবাহিক অন্তরজ।
সাধারণ ব্যবকলনীয় সমীকরণগুলোর মধ্যে, রৈখিক ব্যবকলনীয় সমীকরণগুলো বিভিন্ন কারণে গুরুত্বপূর্ণ একটি ভূমিকা পালন করে। অধিকাংশ মৌলিক এবং বিশেষ ফাংশন, পদার্থবিজ্ঞান এবং ফলিত গণিতে যেগুলোর সম্মুখীন হতে হয়, সেগুলো হচ্ছে রৈখিক ব্যবকলনীয় সমীকরণসমূহের সমাধান (দেখুন: হলোনোমিক ফাংশন)। অ-রৈখিক সমীকরণের সাহায্যে যখন কোনো ভৌত প্রপঞ্চ বা ঘটনার মডেল তৈরি করা হয়, তখন একটি সহজ সমাধানের নিমিত্তে সেগুলো সাধারণত রৈখিক ব্যবকলনীয় সমীকরণের মাধ্যমে অনুমান করা হয়। সুস্পষ্টভাবে সমাধান করা যায় এমন কিছু অ-রৈখিক সাব্যস-কে একটি সমতুল্য রৈখিক সাব্যস-এ রূপান্তর করে সমাধান করা হয়। (উদাহরণের জন্য দেখুন।)
কিছু সাধারণ ব্যবকলনীয় সমীকরণকে জানা ফাংশন এবং সমাকলজের এর শর্তালোকে সুস্পষ্টভাবে সমাধান করা যায়। এটা সম্ভব না হলে টেইলর ধারা প্রয়োগ করে সমাধান পাওয়া যেতে পারে। ফলিত সমস্যার ক্ষেত্রে থেকে ফলিত সমস্যার সমাধানের একটি অনুমান পাওয়া যায়।
গণিত, সামাজিক বিজ্ঞান, প্রাকৃতিক বিজ্ঞানের অনেক প্রসঙ্গ বা উপাদান থেকেই সাধারণ ব্যবকলনীয় সমীকরণসমূহকে বের হয়ে আসতে দেখা যায়। কোনো পরিবর্তনের গাণিতিক বর্ণনায় ব্যবকলন এবং অন্তরজ ব্যবহার করা হয়। সমীকরণের মাধ্যমে বিভিন্ন ব্যবকলন, অন্তরজ এবং ফাংশনের মধ্যে এমনভাবে পারস্পরিক সম্পর্ক স্থাপিত হয় যে একটি ব্যবকলনীয় সমীকরণ এই সম্পর্কের একটি ফলাফল হিসেবে আবির্ভূত হয়, যা পরিবর্তনশীল প্রপঞ্চ, বিবর্তন এবং বৈচিত্র্যের বিবরণ ও ব্যাখ্যা দেয়। প্রায়শই, বিভিন্ন রাশিকে অন্যান্য রাশিসমূহের পরিবর্তনের হার হিসেবে (উদাহরণস্বরূপ, সময়ের সাপেক্ষে সরণের অন্তরজ), কিংবা অন্যান্য রাশিসমূহের নতিমাত্রা (গ্রেডিয়েন্ট) হিসেবে সংজ্ঞায়িত করা হয় এবং এই সংজ্ঞায়ন নির্ভর করে রাশিগুলো কীভাবে ব্যবকলনীয় সমীকরণগুলোকে গ্রহণ করছে তার উপর।
বিশেষায়িত গাণিতিক ক্ষেত্রগুলোর মধ্যে জ্যামিতি এবং বিশ্লেষণী বলবিজ্ঞান অন্তর্ভুক্ত। বৈজ্ঞানিক ক্ষেত্রগুলোর মধ্যে অন্তর্ভুক্ত করা হয় পদার্থবিজ্ঞান এবং জ্যোতির্বিজ্ঞান (মহাজাগতিক বস্তুর বলবিদ্যা), আবহাওয়াবিজ্ঞান (আবহাওয়া মডেলিং), রসায়ন (বিক্রিয়ার হার), জীববিজ্ঞান (সংক্রামক রোগ, জেনেটিক প্রকরণ), বাস্তুবিদ্যা, জনসংখ্যা মডেলিং (জনসংখ্যার প্রতিযোগিতা) এবং অর্থনীতি (সঞ্চয়ের প্রবণতা, সুদের হার ও বাজারের ভারসাম্যের মূল্য পরিবর্তন)।
অনেক গণিতবিদ ব্যবকলনীয় সমীকরণ নিয়ে অধ্যয়ন ও অনুসন্ধান চালিয়েছেন এবং এই ক্ষেত্রটিতে অবদান রেখেছেন, যার মধ্যে রয়েছেন নিউটন, লিবনিজ, বার্নোলি পরিবার, রিকাটি, ক্লেরো, ডি'আলেমবার্ট এবং অয়লার।
নিউটনের দ্বিতীয় গতিসূত্রটি সাধারণ ব্যবকলনীয় সমীকরণগুলোর একটি অতি পরিচিত উদাহরণ। "F" বলের অধীনে "t" সময়ে কোনো বস্তুর "x" সরণের মধ্যে সম্পর্ক হলো এই সূত্রটি যাকে এই ব্যবকলনীয় সমীকরণের মাধ্যমে লেখা হয়:
এই সমীকরণে "m" ধ্রুব ভরের একটি বস্তুকণার গতি উপস্থিত রয়েছে। সাধারণভাবে, "F" হলো নির্দিষ্ট সময় "t"-এ বস্তুকণার অবস্থান "x"("t")-এর একটি ফাংশন। "x"("t") অজানা ফাংশনটি ব্যবকলনীয় সমীকরণটির উভয় পাশে দেখা যাচ্ছে এবং এই ফাংশনকে "F"("x"("t")) সংকেতটির মাধ্যমে নির্দেশ করা হয়েছে।
ধরা যাক, "x" একটি স্বাধীন চলক, "y" একটি অধীন চলক এবং "y" = "f"("x") হলো "x"-এর একটি অজানা ফাংশন। কোন সংকেতটি লেখকের পছন্দ এবং কোন সংকেতটি হাতে থাকা ব্যবকলনীয় সমস্যার জন্য সবচেয়ে উপযুক্ত সেসবের ভিত্তিতে ব্যবকলনের সংকেত আলাদা আলাদা হয়। এই প্রসঙ্গে বলা যায়,  লিবনিজের সংকেত  ব্যবকলন এবং সমাকলনের জন্য বেশি উপযোগী, পক্ষান্তরে ল্যাগ্রাঞ্জের সংকেত  যেকোনো ক্রমের অন্তরজসমূহের নিরবিচ্ছিন্ন উপস্থাপনার জন্য বেশি উপযোগী। এছাড়াও, পদার্থবিজ্ঞানে ক্ষুদ্র ক্রমের সময় অন্তরজসমূহকে উপস্থাপনের জন্য নিউটনের সংকেত formula_6 ব্যবহার করা হয়।
"x", "y" এবং "y"-এর অন্তরজসমূহের একটি ফাংশন "F" বিবেচনা করা যাক,যেখানে এই ফাংশনটি নিম্নোক্ত আকারের একটি সমীকরণ গঠন করে:
এই সমীকরণটিকে বলা হয় "n ক্রমের সাব্যস"।.
আরও সাধারণভাবে বলা যায়, "n" ক্রমের একটি সাব্যস নিম্নোক্ত আকার ধারণ করে:
উপরন্তু, আরও কিছু শ্রেণিবিভাগ রয়েছে:
বেশ কিছু ব্যবকলনীয় সমীকরণ পরস্পরের সাথে সংযোজিত হয়ে সমীকরণের একটি সিস্টেম গঠন করে। যদি y একটি ভেক্টর হয় যার y("x") উপাদানগুলো ফাংশন হয়, যেখানে y("x") = ["y"("x"), "y"("x")..., "y"("x")] এবং F ভেক্টর ফাংশনটি y এবং y-এর অন্তরজগুলোর একটি ভেক্টর ফাংশন হয় তাহলে formula_9-এর নিম্নোক্ত সমীকরণটি "n" "ক্রমের" ও "m" "মাত্রার" "সাধারণ ব্যবকলনীয় সমীকরণসমূহের" একটি "এক্সপ্লিসিট ব্যবস্থা" হবে।
কলাম ভেক্টরের আকারে সমীকরণটি হবে:
এদেরকে রৈখিক হতে হবে তেমনটা বাধ্যতামূলক নয়। এর ইমপ্লিসিট সাদৃশ্য ("implicit analogue") হলো:
যেখানে 0 = (0, 0, ..., 0) হচ্ছে শূন্য ভেক্টর। ম্যাট্রিক্সের আকারে লিখবে এটি হবে:
এছাড়াও, কিছু কিছু উৎসে (গ্রন্থ, নথি, প্রবন্ধ ও অন্যান্য) formula_14 আকারের একটি ব্যবস্থার ক্ষেত্রে formula_15 জ্যাকবিয়ান ম্যাট্রিক্সের নন-সিঙ্গুলার ম্যাট্রিক্স হওয়ার আবশ্যকীয়তার কথা বলা হয়েছে, যাতে করে একে একটি ইমপ্লিসিট সাব্যস [ব্যবস্থা] বলা যায়; এই জ্যাকবিয়ান নন-সিঙ্গুলারিটির শর্ত মেনে নিয়ে একটি ইমপ্লিসিট সাব্যস ব্যবস্থাকে একটি এক্সপ্লিসিট সাব্যস ব্যবস্থায় রূপান্তরিত করা যায়। একই উৎসসমূহে একটি সিঙ্গুলার জ্যাকবিয়ান সহযোগে ইমপ্লিসিট সাব্যস ব্যবস্থাসমূহকে ব্যবকলনীয় বীজগাণিতিক-সমীকরণ নামে অভিহিত করা হয়েছে। এই স্বাতন্ত্র্য কেবল নামের ক্ষেত্রেই নয়, মূলতঃ ব্যবকলনীয় বীজগাণিতিক-সমীকরণগুলোর পৃথক বৈশিষ্ট্য রয়েছে এবং এগুলো বরং (নন-সিঙ্গুলার) সাব্যস ব্যবস্থা অপেক্ষা এদের সমাধানের সাথে অধিকতর সম্পর্কযুক্ত। এই স্কিম অনুসারে, সম্ভবত বাড়তি অন্তরজের ক্ষেত্রে, হেসিয়ান ম্যাট্রিক্স এবং অন্যান্যগুলোকেও নন-সিঙ্গুলার অনুমান করা হয়, যদিও এটা উল্লেখ করতে হয় যে, একের চেয়ে বড় ক্রমের যেকোনো সাব্যসকে প্রথম ক্রমের সাব্যস-ব্যবস্থার আকারে লেখা যায় এবং সচরাচর এটা করাও হয়, যা সকল ক্রমের ক্ষেত্রে জ্যকবিয়ান-সিঙ্গুলারিটি-মানদণ্ডটিকে এই শ্রেণিবিভাগের নিমিত্তে সুবিস্তৃত হওয়ার জন্য পর্যাপ্ত করে তোলে।
সাধারণ ব্যবকলনীয় সমীকরণসমূহের একটি ব্যবস্থার আচরণকে একটি দশা চিত্রের প্রয়োগের মাধ্যমে দৃশ্যমান করানো যায়।
একটি নির্দিষ্ট ব্যবকলনীয় সমীকরণ formula_16 বিবেচনা করি, যেখানে
আরও ধরা যাক, "u" এমন একটি ফাংশন যেখানে , যখন "I" একটি ব্যবধি।
এখন, "u"-কে "F"-এর একটি "সমাধান" বা বলা হবে, যদি "u" ফাংশনটি "I" ব্যবধিতে "n"-সংখ্যক বার ব্যবকলনযোগ্য হয় এবং 
উপর্যুক্ত ব্যবকলনীয় সমীকরণটির দুটি নির্দিষ্ট সমাধান বং হলে, "u"-কে "v"-এর একটি "সম্প্রসারণ" বলা হবে, যদি হয় এবং
যে সমাধানের কোনো সম্প্রসারণ নেই তাকে বলা হয় "চরম সমাধান" ("maximal solution")। যে সমাধান সকল R-এর ওপর সংজ্ঞায়িত তাকে বলা হয় "সার্বজনীন সমাধান" ("global solution")।
"n"-তম ক্রমের কোনো সমীকরণের একটি "সাধারণ সমাধান" হলো এমনই একটি সমাধান, যে সমাধানে "n" সংখ্যক স্বেচ্ছানির্বাচিত স্বাধীন সমাকলন-ধ্রুবক বিদ্যমান। ধ্রুবকগুলোকে নির্দিষ্ট মানসমূহে বসিয়ে একটি "নির্দিষ্ট সমাধান" প্রতিপাদন করা হয়। নির্দিষ্ট সমাধানকে সচরাচর '' কিংবা '' পূরণের জন্য বেছে নেওয়া হয়। কোনো একক সমাধান হচ্ছে এমনই একটি সমাধান, সাধারণ সমাধানের স্বেচ্ছানির্বাচিত ধ্রুবকগুলোর জন্য নির্দিষ্ট মান নির্ধারণ করে যে সমাধানটি পাওয়া যায় না। রৈখিক সাধারণ ব্যবকলনীয় সমীকরণের প্রেক্ষাপটে, "নির্দিষ্ট সমাধান" পদটি সাধারণ ব্যবকলনীয় সমীকরণটির যেকোনো সমাধানকে বুঝিয়ে থাকতে পারে (যেখানে, প্রাথমিক শর্তগুলো মেনে চলা বাধ্যতামূলক নয়), যে সমাধানটি পরে "সমজাতীয়" সমাধানে (সমজাতীয় সাব্যস-এর একটি সাধারণ সমাধান) যোগ করা হয়, যা পরে মূল সাব্যসটির একটি সাধারণ সমাধান গঠন করে।
"নির্দিষ্ট সমাধান" পদটি এই প্রবন্ধের অনুমান নির্ভর পদ্ধতি অংশে ব্যবহার করা হয়েছে।  আলোচনায় এবং  আলোচনায় এই পরিভাষাটি ("নির্দিষ্ট সমাধান") প্রায়শই ব্যবহার করা হয়।
অ-রৈখিক স্বায়ত্তশাসিত সাব্যস-এর ক্ষেত্রে, কিছু শর্তাধীনে সসীম মেয়াদের (সময়-ব্যবধানের) সমাধানগুলোর বিকাশ করা সম্ভব, এর অর্থ এখানে যে, কোনো ব্যবস্থা তার নিজস্ব গতিশীলতা প্রভাবে একটি চূড়ান্ত মুহূর্তে শূন্য মানে পৌঁছবে এবং সেখানে চিরকালের জন্য শূন্যে অবস্থান করবে। সসীম ব্যবধানের এই সমাধানগুলো সম্পূর্ণ বাস্তব রেখার উপর বিশ্লেষণী ফাংশন হতে পারে না, এবং যেহেতু এই সমাধানগুলো তাদের চূড়ান্ত মুহূর্তে নন-লিপশিৎজ ফাংশন হবে, তাই তারা লিপশিৎজ ব্যবকলনীয় সমীকরণসমূহের সমাধানগুলোর অনন্যতাকে সমর্থন করে না।
উদাহরণস্বরূপ, নিম্নোক্ত সমীকরণটি:
সসীম সময় ব্যবধানের এই সমাধানটিকে স্বীকার করে:
সাধারণ এবং আংশিক ব্যবকলনীয় সমীকরণের  তত্ত্বটি লিবনিজের সময় থেকে গবেষণার একটি বিষয় ছিল, তবে কেবল উনিশ শতকের মাঝামাঝি থেকে এটি বিশেষ মনোযোগ পেয়েছে। এই বিষয়টির উপর একটি মূল্যবান কিন্তু স্বল্প-পরিচিত কাজের মধ্যে রয়েছে Par Louis Houtain-এর "Des solutions singulières des équations différentielles" (১৮৫৪)। (১৮৭৩ সাল থেকে) এই তত্ত্বের নেতৃত্বে ছিলেন এবং এই সমাধানগুলোর জ্যামিতিক ব্যাখ্যায় তিনি নতুন একটি ক্ষেত্র চালু করেছিলেন, যেটা নিয়ে বিভিন্ন লেখক বিশেষকরে এবং আর্থার কেলি কাজ করেছিলেন। প্রথম ক্রমের ব্যবকলনীয় সমীকরণসমূহের একক সমাধানগুলোর তত্ত্বটি (১৮৭২) পরবর্তী উল্লেখযোগ্য কাজ হিসেবে প্রত্যাশিত, যা আনুমানিক ১৯০০ সালের দিকে স্বীকৃতি পায়।
ব্যবকলনীয় সমীকরণগুলো নিয়ে কাজের ক্ষেত্রে প্রাথমিক প্রচেষ্টাটি ছিল এদেরকে কোয়ডরেচারে সংকোচনের লক্ষ্যভিত্তিক। "n"-তম মাত্রার সাধারণ সমীকরণ সমাধানের নিমিত্তে একটি পদ্ধতির অনুসন্ধানের ক্ষেত্রে এটি যেমন অষ্টাদশ শতাব্দীর বীজগণিতজ্ঞদের আশায় পরিণত হয়েছিল, তেমনিভাবে যেকোনো ব্যবকলনীয় সমীকরণের একত্রীকরণের নিমিত্তে একটি সাধারণ পদ্ধতি অনুসন্ধানের ক্ষেত্রে এটি বিশ্লেষকদেরও আশায় রূপান্তরিত হয়েছিল। সে যাই হোক, কার্ল ফ্রিড‌রিশ গাউস (১৭৯৯ সালে) দেখান যে, জটিল ব্যবকলনীয় সমীকরণের জন্য জটিল সংখ্যার প্রয়োজন হয়। এর পরই, বিশ্লেষকরা ফাংশনের অধ্যয়নকে আলোচনায় প্রতিস্থাপন করতে শুরু করেন এবং এইভাবে একটি নতুন ও উর্বর শাখারও চালু করেন। অগাস্টিন লুইস কোশি ছিলেন সর্বপ্রথম যিনি এই দৃষ্টিভঙ্গির গুরুত্ব উপলব্ধি করেছিলেন। তারপরে, আসল যে প্রশ্নটির উদয় হয়েছিল, সেটি "জানা ফাংশন বা এদের যোগজগুলোর মাধ্যমে কোনো সমাধান সম্ভব কি না" এই প্রশ্নটি নয়, বরং এই প্রশ্নটিই যে, কোনো "নির্দিষ্ট ব্যবকলনীয় সমীকরণ" স্বাধীন চলক বা চলকসমূহের কোনো ফাংশনের সংজ্ঞার জন্য সন্তাষজনক কি না এবং যদি তাই হয় তবে এর চরিত্রগত বৈশিষ্ট্যগুলো কী কী।
লাজারাস ফুক্সের দুটি স্মৃতিকথায় অভিনব এক পদ্ধতির অনুপ্রেরণা দেওয়া রয়েছে, পরবর্তীকালে থোমে এবং যেটা নিয়ে বিশদ আলোচনা করেছিলেন। ১৮৬৯ সালের শুরুর দিকে কোলেট ছিলেন একজন বিশিষ্ট অবদানকারী। একটি অ-রৈখিক ব্যবস্থাকে একত্রীকরণের নিমিত্তে তার দেওয়া পদ্ধতিটি ১৮৬৮ সালে বার্ট্রান্ডের দেওয়া কাজের সাথে সংযুক্ত ছিল। তার তত্ত্বে বিষয়বস্তুর সমান্তরালে এই তত্ত্বটির সমালোচনা করেছেন (১৮৭৩)। যেহেতু আনুপাতিক রূপান্তরের অধীনে অপরিবর্তিত থাকা মৌলিক বক্ররেখার বৈশিষ্ট্য অনুসারে শেষোক্ত তত্ত্বটিকে শ্রেণীবিন্যস্ত করা যায়, তাই ক্লেবস ব্যবকলনীয় সমীকরণের দ্বারা সংজ্ঞায়িত তুরীয় ("transcendent") ফাংশনগুলোকে, আনুপাতিক এক-এক রূপান্তরের অধীনে "f" = 0 পৃষ্ঠতল সংশ্লিষ্ট অপরিবর্তনীয় ("invariant") বৈশিষ্ট্য অনুসারে, শ্রেণীবিন্যস্ত করার প্রস্তাব করেছিলেন ।
১৮৭০ সাল থেকে কাজ ব্যবকলনীয় সমীকরণের তত্ত্বকে অধিকতর ভাল একটি ভিত্তির উপর স্থাপন করে রেখেছে। তিনি দেখিয়েছেন যে, লী গ্রুপ ব্যবহার করে, পূর্বতন গণিতবিদদের সমাকলন তত্ত্বগুলোকে একটি সাধারণ উৎসে স্থানান্তর করা যেতে পারে। উপরন্তু তিনি দেখিয়েছেন যে, যেসব সাধারণ ব্যবকলনীয় সমীকরণ একই স্বীকার করে নেয় সেসব সমীকরণ তুলনীয় সমাকলন অসুবিধাগুলোকেও উপস্থাপন করে। এছাড়াও তিনি বিষয়টির উপরও জোর দিয়েছেন।
ব্যবকলনীয় সমীকরণগুলোর উপর লীয়ের গ্রুপ তত্ত্বটি এই বলে সত্য প্রমাণিত হয়েছে যে, (১) ব্যবকলনীয় সমীকরণসমূহের সমাধানের জন্য পরিচিত অস্থায়ী ও তাৎক্ষণিক ("ad hoc") অনেক পদ্ধতিকে এই তত্ত্বটি একত্রিত করে এবং (২) সমাধান বের করার জন্য এই তত্ত্বটি শক্তিশালী নতুন উপায়সমূহ বাতলে দেয়। সাধারণ এবং আংশিক উভয় ধরনের ব্যবকলনীয় সমীকরণে এই তত্ত্বটির প্রয়োগ রয়েছে।
একটি সাধারণ সমাধান পদ্ধতিতে, সমাধান থেকে সমাধানের অবিচ্ছিন্ন তথা ব্যবকলনীয় সমীকরণের প্রতিসাম্য গুণাবলিকে ব্যবহার করা হয়। রৈখিক এবং অ-রৈখিক (আংশিক) ব্যবকলনীয় সমীকরণসমূহের গঠন-কাঠামো বোঝার জন্য অবিচ্ছিন্ন গ্রুপ তত্ত্ব, লী বীজগণিত, এবং ব্যবকলনীয় জ্যামিতি ব্যবহার করা হয়, যাতে করে, ব্যবকলনযোগ্য সমীকরণ উৎপাদনের নিমিত্তে এর , রিকার্সন অপারেটর, খুঁজে পাওয়া যায়, এবং সবশেষে যাতে ব্যবকলনীয় সমীকরণের জন্য সঠিক বিশ্লেষণাত্মক সমাধান খুঁজে বের করা যায়।
গণিত, পদার্থবিদ্যা, প্রকৌশল এবং অন্যান্য শাখায় উদ্ভূত ব্যবকলনীয় সমীকরণসমূহের সমাধানের নিমিত্তে প্রতিসাম্য পদ্ধতিসমূহ প্রয়োগ করা হয়েছে।
স্টার্ম-লিউভিল তত্ত্ব হচ্ছে বিশেষ ধরনের দ্বিতীয় ক্রমের রৈখিক সাধারণ ব্যবকলনীয় সমীকরণের একটি তত্ত্ব। এদের সমাধানগুলো এবং এই সমাধানগুলো রৈখিক অপারেটরের সেসকল সাথে সম্পর্কযুক্ত, যে আইগেন ফাংশনগুলো দ্বিতীয় ক্রমের মাধ্যমে সংজ্ঞায়িত।
এই সমস্যাগুলোকে স্টার্ম-লিউভিল সমস্যা হিসেবে চিহ্নিত করা হয় এবং এবং (যারা ১৮০০-এর দশকের মাঝামাঝি সময়ে এসব নিয়ে অধ্যয়ন-অনুসন্ধান করেছিলেন) নামানুসারে এদেরকে নামকরণ করা হয়। স্টার্ম-লিউভিল সমস্যাগুলোতে অসীম সংখ্যক আইগেন মান থাকে এবং সংশ্লিষ্ট আইগেন ফাংশনগুলো একটি সম্পূর্ণ, লম্বিক সেট তৈরি করে, যা লম্বিক সম্প্রসারণকে সম্ভব করে তোলে। এটি ফলিত গণিত, পদার্থবিজ্ঞান এবং প্রকৌশলের একটি মূল ধারণা। স্টার্ম-লিউভিল সমস্যাগুলো নির্দিষ্ট আংশিক-ব্যবকলনীয়-সমীকরণসমূহের বিশ্লেষণেও দরকারী।
সাধারণ ব্যবকলনীয় সমীকরণ সংশ্লিষ্ট সমাধানসমূহের অস্তিত্ব এবং অনন্যতাকে স্থানীয় এবং সার্বজনীন উভয় ক্ষেত্রেই প্রতিষ্ঠা করে এমন বেশ কিছু উপপাদ্য রয়েছে।
এমন দুটি প্রধান উপপাদ্য হলো:
এই উপপাদ্য দুটির প্রতিটির মৌলিক রূপ কেবল স্থানীয় ফলাফলের নিশ্চয়তা দেয়, যদিও একটি সার্বজনীন ফলাফল পাওয়ার জন্য শেষোক্ত উপপাদ্যটিকে প্রসারিত করা যেতে পারে, উদাহরণ হিসেবে যদি শর্তগুলো পূরণ করা হয়।
এছাড়াও, অনন্যতার উপপাদ্যগুলো উপরের লিপশিৎজ উপপাদ্যের মতো ব্যবস্থাগুলোতে প্রয়োগ করা হয় না, যে ব্যবস্থাগুলোর জন্য কেবল এদের (অ-রৈখিক) বীজগাণিতিক অংশ থেকে উদ্ভূত একাধিক সমাধান থাকতে পারে।
উপপাদ্যটি সহজ ভাষায় নিম্নরূপভাবে বলা যেতে পারে।
formula_22
উপর্যুক্ত সমীকরণ এবং প্রাথমিক মান সমস্যার জন্য, যদি "F" ফাংশনটি এবং ∂"F"/∂"y" অন্তরজটি "x-y" সমতলস্থ নিম্নোক্ত বদ্ধ আয়তক্ষেত্রটিতে অবিচ্ছিন্ন হয়:
formula_23
এবং "a" ও "b" বাস্তব হয় (), চিহ্নটি , উপরন্তু তৃতীয় বন্ধনী চিহ্ন বদ্ধ ব্যবধিকে নির্দেশ করে, তাহলে কিছু এর জন্য একটি ব্যবধি formula_24 থাকবে, যেখানে
formula_25 হবে
এবং এই ব্যবধিতে উপর্যুক্ত সমীকরণটির জন্য ও প্রাথমিক মান সমস্যাটির জন্য "সমাধানটি" পাওয়া যাবে। অর্থাৎ, এই ব্যবধিতে একটি সমাধান রয়েছে এবং এটি সেটি অনন্য। যেহেতু, "F"-কে রৈখিক হতে হলে কোনো সীমাবদ্ধতা নেই, তাই এটি অ-রৈখিক সমীকরণসমূহের ক্ষেত্রে প্রযোজ্য, যে অ-রৈখিক সমীকরণগুলো "F"("x", "y") আকার ধারণ করে। উপরন্তু এটি সমীকরণের ব্যবস্থাতেও প্রয়োগ করা যেতে পারে।
যখন পিকার্ড-লিন্ডেলফ উপপাদ্যের অনুমিতিগুলো মেনে চলা হয়, তখন স্থানীয় অস্তিত্ব এবং অনন্যতাকে একটি বৈশ্বিক ফলাফলে সম্প্রসারিত করা যেতে পারে। আরো সুনির্দিষ্টভাবে বলা যায়:
যেকোনো প্রাথমিক শর্ত ("x", "y") এর জন্য এমনই একটি অনন্য সর্বোচ্চ (সম্ভব হলে অসীম) খোলা ব্যবধি formula_26 এর অস্তিত্ব রয়েছে:
যাতে করে, এই প্রাথমিক শর্ত পূরণ করে এমন যেকোনো সমাধান সেই সমাধানটির জন্য একটি হয় যে সমাধানটি এই প্রাথমিক শর্তকে formula_28 ডোমেইন সহযোগে মেনে চলে।
যে ক্ষেত্রে formula_29, সে ক্ষেত্রে ঠিক দুটি সম্ভাবনা থাকে:
যেখানে, Ω হলো খোলা সেট, "F" যার মধ্যে সংজ্ঞায়িত। এবং formula_32 হলো এর সীমানা।
লক্ষ্যণীয় যে, সমাধানের সর্বোচ্চ সমাধানটি
এর মানে এই যে "F"("x, y") = "y", পিকার্ড-লিন্ডেলফ উপপাদ্যটি মেনে নিয়ে যা "C" এবং এর ফলে যা স্থানীয়ভাবে লিপশিৎজ-অবিচ্ছিন্ন।
তথাপি, এমন একটি সরল ব্যবস্থাপনায়, সকল formula_33 সমাধানের সর্বোচ্চ ডোমেইন হতে পারে না, যেহেতু সমাধানটি হচ্ছে:
যার নিম্নোক্ত সর্বোচ্চ ডোমেইন রয়েছে:
এটা থেকে সুস্পষ্টভাবেই দেখা যাচ্ছে যে, সর্বোচ্চ ব্যবধি প্রাথমিক শর্তাবলির উপর নির্ভরশীল হতে পারে। "y"-এর ডোমেইনটিকে formula_38 হিসেবে গণ্য করা যেতে পারে, কিন্তু এটা করা হলে ব্যবধি নয় এমন একটি ডোমেইন পাওয়া যাবে। ফলতঃ, প্রাথমিক শর্তাবলির বিপরীতে গেলে প্রাথমিক শর্তাবলি সাথে থাকা সম্পর্কটি বিচ্ছিন্ন হয়ে যাবে এবং এর ফলে, প্রাথমিক শর্তাবলির বিপরীত অবস্থাটি প্রাথমিক শর্তাবলির মাধ্যমে অনন্যভাবে নির্ধারণ অসম্ভব হবে।
সর্বোচ্চ ডোমেইনটি formula_33 হবে না, কারণ
যা উপরের উপপাদ্য অনুসারে সম্ভাব্য দুটি ঘটনার একটি।
যদি কোনো ব্যবকলনীয় সমীকরণের মাত্রা বা ক্রমকে সংকুচিত করা যায় তাহলে একে সহজেই ব্যবকলন করা যায় অর্থাৎ সহজেই সমাধান বের করা যায়।
"n" ক্রমের নিম্নোক্ত এক্সপ্লিসিট ব্যবকলনীয় সমীকরণটি বিবেচনা করা যাক:
এখন, "i" = 1, 2..., "n" এর জন্য formula_42 অজানা ফাংশনসমূহের একটি নতুন গুচ্ছকে সংজ্ঞায়িত করার মাধ্যমে উপর্যুক্ত এক্সপ্লিসিট ব্যবকলনীয় সমীকরণটিকে "n" প্রথম-ক্রমের ব্যবকলনীয় সমীকরণসমূহের একটি ব্যবস্থারূপে লেখা যেতে পারে। তাহলে, প্রথম-ক্রমের সংযোজিত ব্যবকলনীয় সমীকরণসমূহের "n"-মাত্রিক ব্যবস্থাটি হবে:
ভেক্টর চিহ্ন ব্যবহার করে একে আরও সন্নিবিষ্টভাবে লিখলে পাওয়া যাবে:
যেখানে,
কিছু ব্যবকলনীয় সমীকরণের এমন সমাধান রয়েছে যেগুলো সঠিক এবং বদ্ধ আকারে লেখা যায়। এখানে কয়েক শ্রেণির গুরুত্বপূর্ণ সমাধান দেওয়া হলো।
নিচের ছকে, , , , ও , হচ্ছে ও -এর যেকোনো সমাকলনযোগ্য ফাংশন, ও হচ্ছে সুনির্দিষ্ট বাস্তব ধ্রুবক, আর হচ্ছে স্বেচ্ছাধীন ধ্রুবক (সাধারণত যেগুলো জটিল সংখ্যা)। ব্যবকলনীয় সমীকরণগুলোকে এদের সমতুল্য এবং বিকল্প আকারে দেওয়া রয়েছে, সমাকলনের মাধ্যমে যেগুলোর দ্বারা সমাধানের দিকে যাওয়া যায়।
যোগজ সমাধানের ক্ষেত্রে, λ এবং ε হলো কৃত্রিম বা অস্থায়ী চলক ( ব্যবহৃত সূচকসমূহের "continuum" সমরূপ), এবং চিহ্নটি -এর সাপেক্ষে -এর সমাকলন, অতঃপর প্রতিস্থাপনকে কেবল বুঝিয়েছে, যেখানে ধ্রুবক যোগ করার ব্যাপারটি এড়ানো হয়েছে।
যখন সাধারণ ব্যবকলনীয় সমীকরণ সমাধানের অন্যান্য সমস্ত পদ্ধতিই ব্যর্থ হয়, কিংবা যে ক্ষেত্রে একটি ব্যবকলনীয় সমীকরণের সমাধানটি কেমন হতে পারে সে সম্পর্কে নিজস্ব কিছু অন্তর্দৃষ্টি বা সূক্ষ্ম অনুমান থাকে, সেক্ষেত্রে কখনও কখনও সমাধানটি কী হবে সেটা অনুমান করে এবং এটি সঠিক কি না তা যাচাই করে ব্যবকলনীয় সমীকরণের সমাধান করা সম্ভব। এই পদ্ধতিটি ব্যবহারের ক্ষেত্রে, ব্যবকলনীয় সমীকরণটির জন্য সাধারণভাবে একটি সমাধান অনুমান করে নেওয়া হয়, এবং তারপরে এই সমাধানটি উক্ত ব্যবকলনীয় সমীকরণটিকে মেনে চলে কি না তা যাচাই করার জন্য উক্ত ব্যবকলনীয় সমীকরণে সমাধানটি প্রয়োগ করে দেখা হয়। যদি সমাধানটি উক্ত সমীকরণকে মেনে চলে তাহলে একটি নির্দিষ্ট সমাধান পাওয়া গেছে বলা যায়, এর অন্যথা হলে, পুনরায় অন্য একটি সমাধান অনুমান করে সেই একই প্রক্রিয়া চালানো হয়। উদাহরণস্বরূপ, একটি ব্যবকলনীয় সমীকরণের জন্য formula_46 আকারের সমাধান রয়েছে এমনটা অনুমান করা যেতে পারে, যেহেতু এটি এমনই একটি অতি সাধারণ সমাধান যা ভৌতভাবে সাইনোসাইডাল আচরণ করে।
নন-হোমোজেনাস প্রথম ক্রম সাব্যস-এর ক্ষেত্রে প্রথমেই ব্যবকলনীয় সমীকরণটির হোমোজেনাস অংশটির একটি "ব্যবকলনীয় সমীকরণ সমাধান" খুঁজে বের করা প্রয়োজন, অন্যথায় সমগ্র নন-হোমোজেনাস সমীকরণের জন্য সমাধান অনুমান করে নিয়ে কাঙ্ক্ষিত সমাধান বের করতে হবে।
অবশেষে, সাধারণ ব্যবকলনীয় সমীকরণের মোট সমাধান পেতে এই উভয় সমাধান একসাথে যোগ করা হয়। ফলে এটি হবে:
formula_47